package alba

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Alba_core.Term_trieSource

Sourcetype _ t
Sourceval empty : _ t

An empty trie.

Sourceval find : Term.t -> int -> 'a t -> 'a option

find term n trie

Find the value associated with the key term in trie. term is valid in a context of size n. Return None if no value can be found under the key term.

Sourceval add_new : Term.t -> int -> 'a -> 'a t -> ('a t, 'a) result

add_new term n a trie

Add the key value pair (term, a) where term is valid in a context of size n to trie. Return the new trie or a value which has already been stored under the key term.

OCaml

Innovation. Community. Security.