This section describes the kinds of values that are manipulated by Caml Light programs. Characters Character values are represented as 8-bit integers between 0 and 255. The current implementation interprets character codes between 128 and 255 following the ISO 8859-1 standard.
Character strings String values are finite sequences of characters.
Records Record values are labeled tuples of values. 6.2.4 Arrays Arrays are finite, variable-sized sequences of values of the same type. Variant values Variant values are either a constant constructor, or a pair of a non-constant constructor and a value. The current implementation limits the number of distinct constructors in a given variant type to at most 249. Polymorphic variants Polymorphic variants are an alternate form of variant values, not belonging explicitly to a predefined variant type, and following specific typing rules.