1 : INT VAR_INPUT a,b [...] 1 : INT VAR_INPUT a,b [...] _VAR //Implementation c := b; d := a

据类型定义 REFERENCE TO , 前缀 a 对于 [...] convention number [...] 可能包含范围中的一个字符 a-dA-D ： @x[a-dA