Remove element from set.
(s: ArrayRef, e: ExprRef)
| 3631 | |
| 3632 | |
| 3633 | def SetDel(s: ArrayRef, e: ExprRef) -> ArrayRef: |
| 3634 | """Remove element from set.""" |
| 3635 | return Store(s, e, BoolVal(False)) |
| 3636 | |
| 3637 | |
| 3638 | def SetUnion(a: ArrayRef, b: ArrayRef, ctx: Context | None = None) -> ArrayRef: |