retro_int63 : Names.Constant.t option; |
retro_float64 : Names.Constant.t option; |
retro_bool : (Names.constructor * Names.constructor) option; |
retro_carry : (Names.constructor * Names.constructor) option; |
retro_pair : Names.constructor option; |
retro_cmp : (Names.constructor * Names.constructor * Names.constructor) option; |
retro_f_cmp : (Names.constructor * Names.constructor * Names.constructor * Names.constructor) option; |
retro_f_class : (Names.constructor * Names.constructor * Names.constructor * Names.constructor * Names.constructor * Names.constructor * Names.constructor * Names.constructor * Names.constructor) option; |
retro_refl : Names.constructor option; |