compute_letin_type ((Some (name,(C.Decl so)))::context) dest)
| C.LetIn (name,so,C.Implicit _,dest) ->
let so = compute_letin_type context so in
compute_letin_type ((Some (name,(C.Decl so)))::context) dest)
| C.LetIn (name,so,C.Implicit _,dest) ->
let so = compute_letin_type context so in