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