package codex
Module I.Integer_Query
module Integer_Lattice : Sig.Integer_Latticeval query : Context.t -> integer -> Integer_Lattice.tI.Integer_Querymodule Integer_Lattice : Sig.Integer_Latticeval query : Context.t -> integer -> Integer_Lattice.t