Module `Trie`

Generic functorized trie data structure.

module type S = sig ... end

module type Grp = sig ... end

module Make : functor (Label : Stdlib.Set.OrderedType) -> functor (Data : Grp) -> S with type label = Label.t and type data = Data.t: Generating functor, for a given type of labels and data.