Module Inter


module Inter: sig .. end
Un interpréteur pour PCF

type value 
Les valeurs de PCF
type env = (string * value) list 
Environnements : liste d'association des variables vers les valeurs
val print_value : Pervasives.out_channel -> value -> unit
Pour voir les valeurs
val interv : env -> S.Ast.t -> value
Interpréteur en appel par valeur