CDuce/Types/Char

The type Char corresponds to the set of all the Unicode characters.

Character literals
A Unicode character literal is enclosed in single quotes : 'a' 'b'

Five special characters are escaped: '\n' '\t' '\r' '\'' '\\'

Arbitrary unicode value can be witten in decimal or hexadecimal way '\55;' '\055;' '\x37;' '\x0037;' '7' are corresponding all to the same character. Please note the mandatory ";".

As for the Int type, intervals of characters can be defined. The Byte type is defined in standard way by type Byte = '\0;'--'\255;'

The types String and Latin1 are respectively defined as sequences of Char and Byte. -> [ Char* ] -> [ Byte* ]
 * 1) print_type String;;
 * 1) print_type Latin1;;