type 'a iter = ('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