Sourcetype 'a t = {
hash : 'a -> int;
compare : 'a -> 'a -> int;
sexp_of_t : 'a -> Sexp.t;
}
Sourceval of_key : (module Key with type t = 'a) -> 'a t
Sourceval to_key : 'a t -> (module Key with type t = 'a)
Sourceval hash_param : int -> int -> 'a -> int