- (* valuta il primo statement del future text (usando eval_statement
- (puo' fallire con una eccezione)), rimuove il testo corrispondente dal
- future text, aggiunge alla statement list una entry per ogni statement
- ritornato da eval_statement, aggiunge il nuovo stato alla state list,
- invoka tutti gli observer
- Se c'e' l'argomento opzionale statement, quello e' il testo che viene
- passato ad eval_statement, se ha successo nessuna rimozione dal future
- text viene effettuata *)
+ (* valuta il primo statement del future text (usando eval_statement
+ (puo' fallire con una eccezione)), rimuove il testo corrispondente dal
+ future text, aggiunge alla statement list una entry per ogni statement
+ ritornato da eval_statement, aggiunge il nuovo stato alla state list,
+ invoka tutti gli observer
+ Se c'e' l'argomento opzionale statement, quello e' il testo che viene
+ passato ad eval_statement, se ha successo nessuna rimozione dal future
+ text viene effettuata *)