module type HASHTYPE : sig ... end
module Make : functor (Value : Core.Hashtbl.Key) -> HASHTYPE with type t = Value.t