Set cardinality (not supported).
(s: ArrayRef)
| 3719 | |
| 3720 | |
| 3721 | def FiniteSetSize(s: ArrayRef) -> ArithRef: |
| 3722 | """Set cardinality (not supported).""" |
| 3723 | raise NotImplementedError("FiniteSetSize (cardinality) is not supported") |
| 3724 | |
| 3725 | |
| 3726 | def FiniteSetMap(f: FuncDeclRef, s: ArrayRef) -> ArrayRef: |
nothing calls this directly
no outgoing calls
no test coverage detected