Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Tree : sig ... end
type entries = entry list
type chunk = word list
val dispConds : word list -> unit
print all conditions
val dispCands : chunk list -> unit
print all candidates
val result_of_cand : chunk -> string
compose a result string from a candidate
build a (word|char * occurrence probability) entry list from a (word|char * count) list