Complete_Integer.B
type boolean = Lattices.Quadrivalent.t
module Integer_Forward :
Transfer_functions.Integer_Forward
with module Arity := Transfer_functions.Forward_Arity
and 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
module Boolean_Forward :
Transfer_functions.Boolean_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
val truth_value : boolean -> Lattices.Quadrivalent.t
module Boolean_Backward :
Transfer_functions.Boolean_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
module Boolean_Lattice : sig ... end
module Integer_Lattice : sig ... end
val convert_to_quadrivalent : boolean -> Lattices.Quadrivalent.t
val convert_to_ival : integer -> Framac_ival.Ival.t
val is_singleton_int : integer -> Z.t option