Module Int63_emul.Repr

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