Module I.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