let
ListeDAffectations2Optionnellement, pour chaque variable, il est possible de spécifier un type attendu pour la valeur de la variable. En ce cas, l'expression doit être de ce type.
<-- Selectionne tous les noeuds fils du noeud courant de la sorte Employe avec Numero==MaVariableA. -->
let $MaVariableA := child::Employe[@Numero=$MavariableA]
<-- MaVariableB prend une valeur de type quelconque. -->
let $MaVariableB := "coucou"
<-- MaVariableC prend une valeur de type entier. -->
let $MaVariableC as integer := 2