package base_trie

You can search for identifiers within the package.

in-package search v0.2.0

Module `Keychainable.Of_string`Source

module Key : 
  Base.Comparator.S
    with type t = Base.char
    with type comparator_witness = Base.Char.comparator_witness

Keychain elements are usable as keys into ordered collections.

Sourcemodule Iterator = Iterator.Of_string

Keychains support iteration over each key in the chain.

Sourcetype t = Iterator.seq

The type of a keychain.

Sourcetype keychain_witness

A phantom type identifying the keychainable implementation.

type keychain_description =
  keychain_witness
  * Key.t
  * Key.comparator_witness
  * Iterator.t
  * Iterator.iterator_witness

A compound type used in the Keychainable.t argument normally hidden by a GADT.

Sourceval keychainable : (t, keychain_description) t

The implementation of the keychain type.