Module Trie

module Trie: sig .. end

module type Key = sig .. end
module type S = sig .. end
module Make: 
functor (T : Key) -> S with type Key.t = T.t with type Part.t = T.Part.t
module String_trie: S 
  with type Key.t = String.t 
  with type Part.t = Char.t