Closed.Build
Le module qui suit offre des fonctions utilitaires qui facilitent la construction d'expressions Closed par rapport à l'usage direct des constructeurs du type exp.
exp
Son usage est facultatif.
val var : Id.t -> exp
val lit : int -> exp
val (let$) : exp -> (exp -> exp) -> exp
val app : exp -> exp list -> exp
val seq : exp list -> exp
val read : exp -> exp -> exp
val write : exp -> exp -> exp -> exp
val print_int : exp -> exp