Module CCTrieSource

Prefix Tree

Sourcetype 'a sequence = ('a -> unit) -> unit
Sourcetype 'a ktree = unit -> [ `Nil | `Node of 'a * 'a ktree list ]

Signatures

A Composite Word

Words are made of characters, who belong to a total order

Sourcemodule type WORD = sig ... end
Sourcemodule type S = sig ... end

Implementation

Sourcemodule Make (W : WORD) : S with type key = W.t and type char_ = W.char_
Sourcemodule type ORDERED = sig ... end
Sourcemodule MakeArray (X : ORDERED) : S with type key = X.t array and type char_ = X.t
Sourcemodule MakeList (X : ORDERED) : S with type key = X.t list and type char_ = X.t
Sourcemodule String : S with type key = string and type char_ = char