sig
  type ('a, 'b) t
  val create : int -> ('a, 'b) Hashnlist.t
  val clear : ('a, 'b) Hashnlist.t -> unit
  val add : ('a, 'b) Hashnlist.t -> 'a -> 'b -> unit
  val remove : ('a, 'b) Hashnlist.t -> 'a -> 'b -> unit
  val find : ('a, 'b) Hashnlist.t -> 'a -> 'b list
  val indexlist : ('a, 'b) Hashnlist.t -> 'a list
  val mem : ('a, 'b) Hashnlist.t -> 'a -> bool
end