package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Key generators

Keys are the main programming tools used for implementing extensible types (sem, value, dom, pexp, ...)

module type Registry = sig ... end

module type NamedType = sig ... end

module type Key = sig ... end

Key with arity 1

module type NamedType2 = sig ... end

module type Registry2 = sig ... end

module type Key2 = sig ... end

Key with arity 2