AMBIENTE: versione 2

Il modulo AMBIENTE offre delle procedure atte ad immagazzinare le definizioni delle funzioni utilizzando una variabile globale Funzioni.
L'interfaccia iniziale è:

typedef ...  AMBIENTE
const AMBIENTE Vuoto = ...;

AMBIENTE Funzioni = Vuoto;
/*variabile globale che contiene le definizioni delle funzioni*/

void Aggiungi_Funzione(IDENT funz, IDENT param, ESPRESSIONE cor)
/*aggiunge a Funzioni la definizione della funzione funz con 
  parametro formale param e corpo cor*/

void Parametro_Formale(IDENT funz, IDENT param)
/*ritorna in param il parametro formale della funzione funz come registrato in Funzioni,
  si assume che ci sia sempre una definizione per funz in Funzioni */

ESPRESSIONE Corpo(IDENT funz)
/*ritorna il corpo della funzione funz come registrato in Funzioni,
  si assume che ci sia sempre una definizione per funz in Funzioni */
...