module type S = S with type 'a poly_t := 'a t with type 'a poly_set := 'a Set.t
S
with type 'a poly_t := 'a t
with type 'a poly_set := 'a Set.t