Sig.Integer_Basis
include With_Integer_Forward_Backward
type boolean = Quadrivalent.t
include With_Integer_Forward
with type boolean := boolean
and type integer := integer
module Integer_Forward :
Transfer_functions.Integer_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type integer := integer
include With_Integer_Backward
with type boolean := boolean
and type integer := integer
module Integer_Backward :
Transfer_functions.Integer_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
and type integer := integer
include With_Boolean_Forward_Backward with type boolean := boolean
include With_Boolean_Forward with type boolean := boolean
module Boolean_Forward :
Transfer_functions.Boolean_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
val truth_value : boolean -> Quadrivalent.t
include With_Boolean_Backward with type boolean := boolean
module Boolean_Backward :
Transfer_functions.Boolean_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
module Boolean_Lattice : Boolean_Lattice with type t = boolean
module Integer_Lattice : Integer_Lattice with type t = integer
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