visitOperator

open override fun visitOperator(node: OperatorExpressionNode): Term

Converts an operator application to a structure named after its resolved operator.