Module CCTrie

module CCTrie: sig .. end

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