Module Trie.Make

Parameters

Signature

type elt = T.t
type 'a t
val is_empty : 'a t -> bool
val empty : 'a t
val value : 'a t -> 'a option
val add : elt list -> 'a option -> 'a t -> 'a t
val find : elt list -> 'a t -> 'a t
val find_fork : elt list -> 'a t -> elt list * 'a t