如何正确使用强制使得不需要括号？

Question

为什么下面的语法不能识别nat -> nat但确实识别(nat -> nat)，我该如何解决这个问题？

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

Answer 1

反转声明的顺序固定的问题

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