Quantifier multi-pattern.
(*args: ExprRef)
| 4070 | |
| 4071 | |
| 4072 | def MultiPattern(*args: ExprRef) -> ExprRef: |
| 4073 | """Quantifier multi-pattern.""" |
| 4074 | if args: |
| 4075 | return args[0] |
| 4076 | return BoolVal(True) |
| 4077 | |
| 4078 | |
| 4079 | def DisjointSum(name: str, sorts: list[SortRef], ctx: Any = None) -> tuple: |