Declare a recursive function.
(name: str, *sorts: SortRef)
| 4033 | |
| 4034 | |
| 4035 | def RecFunction(name: str, *sorts: SortRef) -> FuncDeclRef: |
| 4036 | """Declare a recursive function.""" |
| 4037 | return Function(name, *sorts) |
| 4038 | |
| 4039 | |
| 4040 | def RecAddDefinition(f: FuncDeclRef, args: list[ExprRef], body: ExprRef) -> None: |