Module type Domain_sig.With_Integer_Queries

module Context : Context
type integer
val query_integer : Context.t -> integer -> Integer_Lattice.t
include Single_value_abstraction.Sig.Integer_Conversions with type integer := Integer_Lattice.t
val convert_to_ival : Integer_Lattice.t -> Framac_ival.Ival.t
val is_singleton_int : Integer_Lattice.t -> Z.t option