package base_trie

You can search for identifiers within the package.

in-package search v0.2.0

Trie data structure library

Install

sha256=e7544117bfa8ab1708fd5d78151bbc73b55f10dba52360bcbc2ac2bf5f9a16eb

module Key : Base.Comparator.S

Keychain elements are usable as keys into ordered collections.

module Iterator : Trie.Iterator.S0 with type elt = Key.t

Keychains support iteration over each key in the chain.

type t = Iterator.seq

The type of a keychain.

type 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.

val keychainable : (t, keychain_description) Trie.Keychainable.t

The implementation of the keychain type.