Method mkRecFuncDecl

src/api/java/Context.java:639–645

Creates a new recursive function declaration.

(Symbol name, Sort[] domain, R range)

     * Creates a new recursive function declaration.
     **/
    public final <R extends Sort> FuncDecl<R> mkRecFuncDecl(Symbol name, Sort[] domain, R range)
    {
        checkContextMatch(name);
        checkContextMatch(domain);
        checkContextMatch(range);
        return new FuncDecl<>(this, name, domain, range, true);
    }


    /**