如何正确使用强制措施，以便不需要括号？

Question

为什么以下语法无法识别id value 18 100 5 20 3 20 但识别出nat -> nat，我该如何解决？

(nat -> nat)

Answer 1

反转声明的顺序解决了问题

TArrow . Typ ::= Typ "->" Typ1;
TSum . Typ1 ::= SumType;
TProd . Typ2 ::= Typ2 "*" Typ3;
TNat . Typ3 ::= "nat" ;
TVoid . Typ3 ::= "<>" ;
coercions Typ 3;