let
fterm_of_shift_index pt i = (
Hlib
.shift_index pt i)