Set sort — implemented as Array(s, Bool).
(s: SortRef)
| 3605 | |
| 3606 | |
| 3607 | def SetSort(s: SortRef) -> ArraySortRef: |
| 3608 | """Set sort — implemented as Array(s, Bool).""" |
| 3609 | return ArraySort(s, BoolSort()) |
| 3610 | |
| 3611 | |
| 3612 | def EmptySet(s: SortRef) -> ArrayRef: |