"Pruning" an xml "tree" based on nodes' ids

[Martin Probst]

> I am trying to prune an xml tree based on known ids for the nodes in that
> tree.
> [...]
> For example if I know that I’m in tree id 1 and the branches I
> took in order are 1,4,8,

Are you doing this using copy/transform like the last time?

What about deleting those nodes with the wrong ID?

copy $x := ...
transform (
  delete nodes $x//branch[ID != (4, 8)], $x//leaf[ID != 15]
)
return $x

(Assuming that you'll never need to remove the tree node itself)

Martin