Una definición del tipo "let Nodo (u, x, v) = e ...", que sólo tiene sentido cuando "e is Nodo" es cierto, permite asociar a las variables "u, x, v" los componentes del nodo.