Operator Definition (Diagram)

Defines an operator by a diagram

An operator definition is composed of a signature and a block diagram

Signature:

where var_decl is declared as described in variable declaration.