Module Compiler

module Compiler: sig .. end

val compile : Var.t list -> S.Ast.t -> Code.code

L'appel compile env t compile le terme t dans l'environnement env. L'argument env est une liste de variables. Le code pourra ensuite être exécuté par la machine Machine, à condition de lui fournir la liste des valeurs des variables.