- let t',rels2 = aux (k+1) t in
- let rels = rels1 @ rels2 in
- if List.mem k rels2 then
- C.LetIn (n, s', t'), rels
+ let ty',rels2 = aux k ty in
+ let t',rels3 = aux (k+1) t in
+ let rels = rels1 @ rels2 @ rels3 in
+ if List.mem k rels3 then
+ C.LetIn (n, s', ty', t'), rels