let string_name = check_aux ctx string_name so in
check_aux (name::ctx) string_name dest
| Cic.Lambda (name,so,dest) ->
+ let string_name =
+ match name with
+ Cic.Anonymous -> string_name
+ | Cic.Name name -> cut_off_name name string_name in
let string_name = check_aux ctx string_name so in
check_aux (name::ctx) string_name dest
| Cic.LetIn (name,so,dest) ->