let
shift_epath loc ch =
match
ch
with
|
Pfield
f
->
shift_field loc f
|
Pidx
i
->
shift_index loc i