sig
  type t
  module Part :
    sig
      type t
      val hash : Trie.Key.Part.t -> int
      val compare : Trie.Key.Part.t -> Trie.Key.Part.t -> int
      val t_of_sexp : Sexplib.Sexp.t -> Trie.Key.Part.t
      val sexp_of_t : Trie.Key.Part.t -> Sexplib.Sexp.t
    end
  val iter : Trie.Key.t -> f:(Trie.Key.Part.t -> unit) -> unit
end