sig
  module Key : Key
  type 'a t
  type 'a sexpable = 'a t
  val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a sexpable -> Sexplib.Sexp.t
  val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a sexpable
  val create : int -> 'a Hashtree.S.t
  val add : 'a Hashtree.S.t -> key:Hashtree.Key.t -> data:'a -> unit
  val remove : 'a Hashtree.S.t -> Hashtree.Key.t -> unit
  val find : 'a Hashtree.S.t -> Hashtree.Key.t -> 'a option
  val length : 'a Hashtree.S.t -> int
  val fold :
    'a Hashtree.S.t ->
    init:'b -> f:(key:Hashtree.Key.t -> data:'a -> 'b -> 'b) -> 'b
end