SetDomain.Elements
Subsignature of S, which is sufficient for Print.
S
Print
type t
type elt
val elements : t -> elt list
val iter : (elt -> unit) -> t -> unit