module S : Set.S
val of_set : S.t -> (S.elt, [ `Any ]) t
val reflect : (S.elt, _) t -> (S.t, [> `One ]) t
val run : (S.elt, _) t -> S.t
