package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Make.Integer_Query`Source

module Integer_Lattice : Sig.Integer_Lattice

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