gsg

(*
 * GADT friendly hash tables.
 *)

module type GadtHashEq = sig
  type 'a key
  type 'a value
  val eq_assoc : 'a key -> 'b key -> 'b value -> 'a value option
  val hash : 'a key -> int
end