T::=Int∣Bool∣T1→T2∣…T ::= \text{Int} \mid \text{Bool} \mid T_1 \to T_2 \mid \ldotsT::=Int∣Bool∣T1→T2∣…
0
0
0
0
0
0
