Module Domain.Integer_Query

module Integer_Lattice : sig ... end

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