S (goblint.SetDomain.Print.S)

type t

type elt = E.t

val elements : t -> elt list

val iter : (elt -> unit) -> t -> unit