package alba

You can search for identifiers within the package.

in-package search v0.2.0

Alba compiler

Install

dune-project

Dependency

albatross-lang.sourceforge.net Readme Edit opam file Versions (5)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.4.3.tar.gz

sha256=062f33c55ef39706c4290dff67d5a00bf009051fd757f9352be527f629ae21fc

md5=eb4edc4d6b7e15b83d6397bd34994153

doc/alba.core/Alba_core/Term_trie/index.html

Module `Alba_core.Term_trie`Source

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.