Comment utiliser correctement les coercions de sorte qu'aucune parenthèse n'est nécessaire?

Question

Pourquoi la grammaire suivante ne reconnaît pas nat -> nat mais reconnaît (nat -> nat) et comment puis-je résoudre ce problème?

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

Answer 1

intervertissant l'ordre de déclaration fixe la question

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