Module Env

module Env: sig .. end

type 'a t = (Var.t * 'a) list 

Types des environnements qui associent 'a aux variables

exception Failure of string

En cas d'échec

val add : string -> 'a -> 'a t -> 'a t

Ajouter une liaison. add x v env renvoie l'environnement qui est env plus une liaison de x à v.

Note : si il existe déjà une liaison de x à w dans env, alors elle est remplacée par la nouvelle liaison.

val find : string -> 'a t -> 'a

Rechercher la valeur associée à une variable.

L'appel find x env renvoie la valeur v associée à x dans env.

Si aucune valeur n'est associée à x, l'exception Failure x est lancée.