A node containing binary operation.
the type.
Interprets the TypedMst node with this Algebra and optional arguments.
Interprets the TypedMst node with this Algebra and arguments.
Interpret this TypedMst node as expression.
The binary function implementing this operation.
The left operand.
The identifier of operation.
The right operand.