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
- LICENSE
- README
- Library base_trie
  - Trie
    
    Keychainable
    
    Impl
    
    Key
    
    Iterator
    
    Listable
    
    S
    
    Key
    
    Iterator
    
    Make
    
    Key
    
    Iterator
    
    Of_string
    
    Key
    
    Iterator
    
    Of_list
    
    Key
    
    Iterator
    
    Of_listable
    
    Key
    
    Iterator
    
    Iterator
    
    Impl0
    
    Impl1
    
    Listable0
    
    Listable1
    
    S0
    
    S1
    
    Make1
    
    Make0
    
    Monomorphic
    
    Of_string
    
    Of_list
    
    Of_listable0
    
    Of_listable1
    
    S
    
    Keychain
    
    Key
    
    Iterator
    
    Or_duplicate
    
    Make
    
    Keychain
    
    Of_string
    
    Keychain
    
    Of_list
    
    Keychain
    
    Of_listable
    
    Keychain
- Library base_trie.test_trie
  - Test_trie
- Library base_trie.trie_stable
  - Trie_stable
    
    V1
- Library base_trie.trie_stable_test
  - Trie_stable_test
- Sources
  - base_trie
    
    iterator.ml
    
    iterator_intf.ml
    
    keychainable.ml
    
    keychainable_intf.ml
    
    trie.ml
    
    trie__.ml
    
    trie_intf.ml
  - base_trie.test_trie
    
    test_iterator.ml
    
    test_trie.ml
    
    test_trie__.ml
  - base_trie.trie_stable
    
    trie_stable.ml
  - base_trie.trie_stable_test
    
    trie_stable_test.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Keychainable.Of_list`Source

Parameters

module Key : Base.Comparator.S

Signature

Sourcemodule Key = Key

Keychain elements are usable as keys into ordered collections.

Sourcemodule Iterator = Iterator.Monomorphic(Iterator.Of_list)(Key)

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.