Method FuncDecl

src/api/java/FuncDecl.java:333–337

(Context ctx, long obj)

    }

    FuncDecl(Context ctx, long obj)
    {
        super(ctx, obj);

    }

    FuncDecl(Context ctx, Symbol name, Sort[] domain, R range)
    {