module type Hashable =sig..end
type'at ='a t= {
|    | hash : | 
|    | compare : | 
|    | sexp_of_t : | 
val poly : 'a tval of_key : (module Core_hashtbl_intf.Key with type t = 'a) ->
       'a tval hash_param : int -> int -> 'a -> intval hash : 'a -> int