Module I.Integer_Query

module Integer_Lattice : Sig.Integer_Lattice

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