es16

< empty; (a-->b)-->a-->b > 
dove a e b sono variabili di tipo e empty e' il contesto vuoto