package codex

You can search for identifiers within the package.

in-package search v0.2.0

Module `Domains.Integer2binary`Source

Sourcetype size = int

module Make
  (I : Sig.BASE_WITH_INTEGER) : 
  Sig.BASE_WITH_INTEGER
    with type binary = I.integer
     and type boolean = I.boolean
     and type integer = I.integer
     and module Context = I.Context
     and module Integer_Query = I.Integer_Query

package codex

Module Domains.Integer2binarySource

Module `Domains.Integer2binary`Source