Module Var


module Var: sig .. end
Variables (des chaƮnes)

type t = string 
Type des variables
module Vars: sig .. end
Ensembles de variables (ensembles de string, donc).