括弧が不要な強制変換を正しく使用するにはどうすればよいですか？

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;