package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

include module type of Keys_sig

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

module Make_key (_ : sig ... end) : Key

Key with arity 1

module Make_key2 (_ : sig ... end) : Key2

Key with arity 2