Lucid Synchrone only implements the basic values of Objective Caml with the same convention, that is, integer numbers, floating-point numbers, characters and character strings.
Lucid Synchrone implements the tuples of Objective Caml, with the same conventions. It also implements records and sum types.
Mapping from values to values. Functions are stateless mapping whereas nodes denote possibly stateful values.