val t : Unsigned.uint32 F.typval mac_roman : Unsigned.uint32 F.constval windows_latin1 : Unsigned.uint32 F.constval iso_latin1 : Unsigned.uint32 F.constval nextstep_latin : Unsigned.uint32 F.constval ascii : Unsigned.uint32 F.constval unicode : Unsigned.uint32 F.constval utf8 : Unsigned.uint32 F.constval nonlossy_ascii : Unsigned.uint32 F.constval utf16 : Unsigned.uint32 F.constval utf16be : Unsigned.uint32 F.constval utf16le : Unsigned.uint32 F.constval utf32 : Unsigned.uint32 F.constval utf32be : Unsigned.uint32 F.constval utf32le : Unsigned.uint32 F.const