module type S_binable = S_binable with type ('a, 'b) set := ('a, 'b) t
S_binable
with type ('a, 'b) set := ('a, 'b) t