functor (Key : Key) -> Core_hashtbl_intf.Monomorphic(T)(Key).S