Interface RecFuncCreation<Name>

interface RecFuncCreation<Name extends string> {
    addDefinition(
        f: FuncDecl<Name, Sort<Name>[], Sort<Name>>,
        args: Expr<Name, AnySort<Name>, unknown>[],
        body: Expr<Name, AnySort<Name>, unknown>,
    ): void;
    declare(
        name: string,
        ...signature: FuncDeclSignature<Name>,
    ): FuncDecl<Name, Sort<Name>[], Sort<Name>>;
}