Module Make.Integer_Query

Projection to a non-relational basis.

include Sig.Integer_Query with type abstract_state := t and type integer := integer
val query : t -> integer -> Integer_Lattice.t