如何正確使用強制使得不需要括號？

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;