Application constructor

Application(String name, List<Expression> arguments, Function function)

Creates a function application with name, arguments, and evaluation function.

Implementation

new(this.name, this.arguments, this.function);