# 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