Operator

According to Practical foundations for programming languages , an interior node of an Abstract syntax tree (AST), with a specified Arity $(s_1;\dots; s_n)s$, for $s_i \in \mathcal{S}$ - the set of Sorts.