Module Trie

module Trie: Trie

module type Key = sig .. end

module type S = sig .. end

module Make (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