Down_std.Trie
Simple tries with incremental lookup.
module type S = sig ... end
module Make (T : Stdlib.Map.OrderedType) : S with type elt = T.t