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).