Module type Sig.Integer_Basis

val name : string
include With_Integer_Forward_Backward
type boolean = Quadrivalent.t
type integer
include With_Boolean_Forward_Backward with type boolean := boolean
include Boolean_Conversions with type boolean := boolean
val convert_to_quadrivalent : boolean -> Quadrivalent.t
include Integer_Conversions with type integer := integer
val convert_to_ival : integer -> Framac_ival.Ival.t
val is_singleton_int : integer -> Z.t option