Module Retroknowledge

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