Module Sub.Integer_Query
module Integer_Lattice : Sig.Integer_Latticeval query : Context.t -> integer -> Integer_Lattice.tSub.Integer_Query
module Integer_Lattice : Sig.Integer_Latticeval query : Context.t -> integer -> Integer_Lattice.t