Module type Sig.NUMERIC
include BITVECTOR
include WITH_BITVECTOR_FORWARD_BACKWARD
type boolean = Quadrivalent.tinclude WITH_BITVECTOR_FORWARD
with type boolean := boolean
and type bitvector := bitvector
module Bitvector_Forward :
Operator.BITVECTOR_FORWARD_WITH_BIMUL_ADD
with module Arity := Operator.Forward_Arity
and type boolean := boolean
and type bitvector := bitvectorinclude WITH_BITVECTOR_BACKWARD
with type boolean := boolean
and type bitvector := bitvector
module Bitvector_Backward : sig ... endinclude WITH_BOOLEAN_FORWARD_BACKWARD with type boolean := boolean
include WITH_BOOLEAN_FORWARD with type boolean := boolean
module Boolean_Forward :
Operator.BOOLEAN_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean := booleaninclude WITH_BOOLEAN_BACKWARD with type boolean := boolean
module Boolean_Backward :
Operator.BOOLEAN_BACKWARD
with module Arity := Operator.Backward_Arity
and type boolean := booleanmodule Boolean_Lattice : BOOLEAN_LATTICE with type t = booleanmodule Bitvector_Lattice : BITVECTOR_LATTICE with type t = bitvectorinclude INTEGER
with type boolean := boolean
and module Boolean_Lattice := Boolean_Lattice
and module Boolean_Forward := Boolean_Forward
and module Boolean_Backward := Boolean_Backward
include WITH_INTEGER_FORWARD_BACKWARD with type boolean := boolean
include WITH_INTEGER_FORWARD
with type boolean := boolean
and type integer := integer
module Integer_Forward :
Operator.INTEGER_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean := boolean
and type integer := integerinclude WITH_INTEGER_BACKWARD
with type boolean := boolean
and type integer := integer
module Integer_Backward :
Operator.INTEGER_BACKWARD
with module Arity := Operator.Backward_Arity
and type boolean := boolean
and type integer := integerinclude WITH_BOOLEAN_FORWARD_BACKWARD
with type boolean := boolean
with module Boolean_Forward := Boolean_Forward
with module Boolean_Backward := Boolean_Backward
include WITH_BOOLEAN_FORWARD
with type boolean := boolean
with module Boolean_Forward := Boolean_Forward
include WITH_BOOLEAN_BACKWARD
with type boolean := boolean
with module Boolean_Backward := Boolean_Backward
module Integer_Lattice : INTEGER_LATTICE with type t = integer