let fterm_of_shift_field ps f = let tf = fterm_of_field f in if f.fcomp.cstruct then Hlib.shift_field ps tf else Hlib.shift_ufield ps tf