Module type Set.S_binable

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