recursiveFunc function
Implementation
RecursiveFunc recursiveFunc(
String name,
Iterable<Sort> domain,
Sort range,
Expr? body,
) {
final result = RecursiveFunc(Sym(name), domain.toList(), range);
if (body != null) {
defineRecursiveFunc(result, body);
}
return result.declare();
}