First page Back Continue Last page Overview Text

Notes:


# implement path operator

left_nl = webpath(left, ctxt)
result_nl = webpath(right, ctxt.push(left_nl))
ctxt.pop_nl()
return result_nl

# notice that 'context node' is actually a sequence