Integer values are integer numbers from -2^{30} to 2^{30}-1,
that is -1073741824 to 1073741823. The implementation may support a wider
range of integer values (...).
Floating-point values are numbers in floating-point representation.
The current implementation uses double-precision floating-point numbers
conforming to the IEEE 754 standard, with 53 bits of mantissa and
an exponent ranging from -1022 to 1023.
Character values are represented as 8-bit integers between 0 and 255.
Character codes between 0 and 127 are interpreted following the ASCII
standard. The current implementation interprets character codes between
128 and 255 following the ISO 8859-1 standard.
String values are finite sequences of characters. The current implementation
supports strings containing up to 2^24 - 5 characters (16777211 characters);
(...)
Tuples of values are written (v_1, ..., v_n), standing for the n-tuple of
values v_1 to v_n. The current implementation supports tuples of up to
2^22 - 1 elements (4194303 elements).
Record values are labeled tuples of values. The record value written
{ field_1 = v_1; ...; field_n = v_n } associates the value v_i to the
record field field_i, for i = 1 ... n. The current implementation supports
records with up to 2^22 - 1 fields (4194303 fields).
Arrays are finite, variable-sized sequences of values of the same type.
The current implementation supports arrays containing up to 2^22 - 1 elements
(4194303 elements) unless the elements are floating-point numbers (2097151
elements in this case); (...)
Variant values are either a constant constructor, or a pair of a non-constant
constructor and a value. The former case is written constr; the latter case
is written (v1, ..., vn), where the vi are said to be the arguments of the
non-constant constructor constr. The parentheses may be omitted if there is
only one argument. (...) The current implementation limits each variant type
to have at most 246 non-constant constructors and 2^30-1 constant constructors.
/*The comments below are excerpts from section 7.2 of [The OCaml System, release 4.06](https://caml.inria.fr/pub/docs/manual-ocaml-4.06/values.html).