Module CCTrie

module CCTrie: sig .. end

Prefix Tree



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

Signatures



Signatures



A Composite Word

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

module type WORD = sig .. end
module type S = sig .. end

Implementation


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