Index of types

data of type 'a int_t has the same internal representation as type int.

data of type 'a string_t has the same internal representation as type string.