Module NonRelationalDomain.Integer_Query

module Integer_Lattice : sig ... end

val query : t -> integer -> Integer_Lattice.t