package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Make.Query`Source

module Binary_Lattice : 
  Sig.Binary_Lattice
    with type t = P1.Query.Binary_Lattice.t * P2.Query.Binary_Lattice.t

Sourceval binary : size:Units.In_bits.t -> Context.t -> binary -> Binary_Lattice.t

Sourcemodule Enum_Lattice : Sig.Enum_Lattice

Sourceval enum : Context.t -> enum -> Enum_Lattice.t