kdrag.theories.set.BigUnion

kdrag.theories.set.BigUnion(A: ArrayRef) → ArrayRef

Big union of a set of sets. >>> IntSet = Set(smt.IntSort()) >>> A = smt.Const(“A”, Set(IntSet)) >>> BigUnion(A) Lambda(x, Exists(B, And(B[x], A[B])))