kdrag.theories.set.complement

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

Complement of a set. >>> IntSet = Set(smt.IntSort()) >>> A = smt.Const(“A”, IntSet) >>> kd.prove(complement(complement(A)) == A) |- complement(complement(A)) == A