Module type Sig.All_Basis

val name : string
include With_Boolean_Forward_Backward
type boolean = Quadrivalent.t
include With_Integer_Forward_Backward with type boolean := boolean
type integer
include With_Binary_Forward_Backward with type boolean := boolean
type binary
include With_Memory_Forward_Backward with type binary := binary and type boolean := boolean
type memory
include With_Memory_Forward with type boolean := boolean and type binary := binary and type memory := memory
module Binary_Lattice : Binary_Lattice with type t = binary
module Memory_Lattice : Memory_Lattice with type t = memory
include Boolean_Conversions with type boolean := boolean
val convert_to_quadrivalent : boolean -> Quadrivalent.t
include Binary_Conversions with type binary := binary
val binary_to_ival : signed:bool -> size:int -> binary -> Framac_ival.Ival.t
val binary_is_singleton : size:int -> binary -> Z.t option
val binary_is_empty : size:int -> binary -> bool
val binary_fold_crop : size:int -> binary -> inf:Z.t -> sup:Z.t -> 'a -> (Z.t -> 'a -> 'a) -> 'a
val binary_to_known_bits : size:int -> binary -> Lattices.Known_Bits.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