let
add_index p i ty =
{ p
with
p_off = p.p_off @ [
Lookup
.
Oindex
(i,ty)] ;
p_type =
Some
ty }