OperatorApplicationNode

class OperatorApplicationNode(val operator: Operator, val arguments: Arguments<PureExpressionNode>, val sourceLocation: SourceLocation) : PureExpressionNode

An n-ary operator applied to n arguments.

Constructors

Link copied to clipboard
fun OperatorApplicationNode(operator: Operator, arguments: Arguments<PureExpressionNode>, sourceLocation: SourceLocation)

Functions

Link copied to clipboard
open override fun toDocument(): Document

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open override val sourceLocation: SourceLocation