module type S : sig ... end
module Make : functor (Key : Core_kernel.Hashtbl.Key_binable) -> S with type key := Key.t