package base_trie

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package base_trie

base_trie
- Trie
  - Iterator
    
    Impl0
    
    Impl1
    
    Listable0
    
    Listable1
    
    Make0
    
    Impl
    
    Make1
    
    Impl
    
    Monomorphic
    
    Elt
    
    Iterator
    
    Of_list
    
    Of_listable0
    
    Seq
    
    Of_listable1
    
    Seq
    
    Of_string
    
    S0
    
    S1
  - Keychainable
    
    Impl
    
    Iterator
    
    Key
    
    Listable
    
    Make
    
    Impl
    
    Iterator
    
    Key
    
    Of_list
    
    Key
    
    Of_listable
    
    Key
    
    Keychain
    
    Of_string
    
    Key
    
    S
    
    Iterator
    
    Key
  - Make
    
    Keychain
    
    Iterator
    
    Key
  - Of_list
    
    Key
  - Of_listable
    
    Key
    
    Keychain
  - Of_string
  - Or_duplicate
  - S
    
    Keychain
    
    Iterator
    
    Key
base_trie.test_trie
- Test_trie
base_trie.trie_stable
- Trie_stable
  - V1
    
    Keychain_stable
    
    Keychain_unstable
    
    Iterator
    
    Key
base_trie.trie_stable_test
- Trie_stable_test

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Impl : Impl

Signature

module Key = Impl.Key

Keychain elements are usable as keys into ordered collections.

module Iterator = Impl.Iterator

Keychains support iteration over each key in the chain.

type t = Iterator.seq

The type of a keychain.

type keychain_witness = Impl.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) t

The implementation of the keychain type.