Module type Set.S

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