Module CCTrie
Prefix Tree
type 'a sequence
= ('a -> unit) -> unit
type '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
module type WORD = sig ... end
module type S = sig ... end
Implementation
module type ORDERED = sig ... end