tipo

lista = ref nodo

nodo = tupla
elem : entero
sig : ref nodo
ftupla
ftipo

acción intercambiar (e/s l: lista, ent p: ref nodo)

var
aux1 := ref nodo
aux2 := ref nodo
fvar

mientras l <> p hacer

l ref.sig
fmientas

aux1 = l ref.sig
aux2 = aux1 ref.sig
l = l ref.sig
l = l ref.sig
l ref.sig = aux1
aux2 = aux2 ref.sig
l = l ref.sig
l ref.sig = aux2

facción