Module Machine


module Machine: sig .. end
La machine ASEC du cours

type value 
Le types des valeurs
val print_value : Pervasives.out_channel -> value -> unit
L'afficheur des valeurs.
type env = value list 
Un environnement de la machine est une liste de valeurs
val exec : env -> Code.code -> value
Lancer l'exécution de la machine, le premier argument est la valeur initiale de l'environnement de la machine.