let ty, fixpoints_ty = aux octx ctx n_fix uri ty in
if idx = k then rno := recno;
let r =
NReference.reference_of_ouri buri (NReference.Fix (idx,recno))
in
let ty, fixpoints_ty = aux octx ctx n_fix uri ty in
if idx = k then rno := recno;
let r =
NReference.reference_of_ouri buri (NReference.Fix (idx,recno))
in