sig
  module Key : sig type 'a t = 'Hmap.Key.t val create : unit -> 'a t end
  type t = Hmap.t
  val empty : t
  val add : t -> 'Key.t -> '-> t
  val find : t -> 'Key.t -> 'a option
  val find_all : t -> 'Key.t -> 'a list
  val ounit_tests : unit -> OUnit.test
end