Numeric_simple.Query
include Single_value_abstraction.Sig.Binary_Conversions
with type binary := Binary_Lattice.t
val binary_to_ival :
signed:bool ->
size:int ->
Binary_Lattice.t ->
Framac_ival.Ival.t
val binary_is_singleton : size:int -> Binary_Lattice.t -> Z.t option
val binary_is_empty : size:int -> Binary_Lattice.t -> bool
val binary_fold_crop :
size:int ->
Binary_Lattice.t ->
inf:Z.t ->
sup:Z.t ->
'a ->
(Z.t -> 'a -> 'a) ->
'a
val binary_to_known_bits :
size:int ->
Binary_Lattice.t ->
Lattices.Known_Bits.t
val binary : size:int -> Context.t -> binary -> Binary_Lattice.t
val reachable : Context.t -> memory -> Domains.Domain_sig.Quadrivalent.t