Module Retroknowledge

type retroknowledge = {
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;
}
val empty : retroknowledge
type action =
| Register_ind : 'a CPrimitives.prim_ind * Names.inductive -> action
| Register_type : CPrimitives.prim_type * Names.Constant.t -> action