- let entry = Some (name, C.Def (cic v, None)) in
- let v, t = bc c v, bc (entry :: c) t in
- C.ALetIn (id, name, v, t)
+ let entry = Some (name, C.Def (cic v, cic ty)) in
+ let v, ty, t = bc c v, bc c ty, bc (entry :: c) t in
+ C.ALetIn (id, name, v, ty, t)