Dummy.Complete_Integer
module B : sig ... end
type boolean = B.boolean
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
type integer = B.integer
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 Binary_Forward :
Transfer_functions.Binary_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type binary := binary
module Binary_Backward :
Transfer_functions.Binary_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
and type binary := binary
module Memory_Forward :
Transfer_functions.Memory_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean := boolean
and type binary := binary
and type memory := memory
module Memory_Backward :
Transfer_functions.Memory_Backward
with module Arity := Transfer_functions.Backward_Arity
and type boolean := boolean
and type binary := binary
and type memory := memory
module Boolean_Lattice : sig ... end
module Integer_Lattice : sig ... end
module Binary_Lattice : Lattices.Sig.Bitvector_Lattice with type t = binary
module Memory_Lattice : sig ... end
val convert_to_quadrivalent : boolean -> Lattices.Quadrivalent.t
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
val convert_to_ival : integer -> Framac_ival.Ival.t
val is_singleton_int : integer -> Z.t option