type emulated
= t
type ('underlying_type, 'intermediate_type) t
=
|
Int : (int, int) t
Int64 : (int64, emulated) t