package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `MakeLinearTwoVarEquality.Integer_Query`

Projection to a non-relational basis.

include Sig.Integer_Query
  with type abstract_state := t
   and type integer := integer

module Integer_Lattice : Sig.Integer_Lattice

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