Module type S_binable = S_binable with type ('a, 'b) hashtbl = ('a, 'b) t