Module type Sig.INTEGER
include WITH_INTEGER_FORWARD_BACKWARD
type boolean = Quadrivalent.tinclude 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
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 Integer_Lattice : INTEGER_LATTICE with type t = integer