Module type Set.S

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