module Machine: sig .. end
La machine ASEC du cours
type
Le types des valeurs
val print_value : Pervasives.out_channel -> value -> unit
L'afficheur des valeurs.
type 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.