Module type Trie.S

type elt
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