- spacing delle keyword
- hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
* bug di rimozione della notazione: pare che camlp4 distrugga un livello
grammaticale quando toglie l'ultima produzione ivi definita
- spacing delle keyword
- hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match
* bug di rimozione della notazione: pare che camlp4 distrugga un livello
grammaticale quando toglie l'ultima produzione ivi definita