usedef)refDans la suite, on désigne par le terme emploi aussi bien l'utilisation d'un texte (use) que la référence à un texte (ref).
Pour faciliter l'écriture des emplois de texte, on introduit la notion d'environnement local d'emploi : c'est un environnement – des définitions ou des références – attaché à l'emploi d'un texte, et placé en priorité dans le contexte d'évaluation de cet emploi.
Un exemple d'utilisation de texte avec un environnement local d'utilisation :
def t = (use X) ":=0"
def u = (use t
(def X = "X0"))
évaluation de u
(use X) ":=0" sachant (def X = "X0")
soit : "X0" ":=0"