Method mkConstDecl

src/api/java/Context.java:680–685

Creates a new constant function declaration.

(Symbol name, R range)

     * Creates a new constant function declaration.
     **/
    public final <R extends Sort> FuncDecl<R> mkConstDecl(Symbol name, R range)
    {
        checkContextMatch(name);
        checkContextMatch(range);
        return new FuncDecl<>(this, name, null, range);
    }

    /**
     * Creates a new constant function declaration.