let rec args context =
function
Cic.Prod (n,s,t) ->
+ let n =
+ match n with
+ Cic.Anonymous -> Cic.Anonymous
+ | Cic.Name n -> Cic.Name (String.uncapitalize n)
+ in
(match analyze_type context s with
`Sort Cic.Prop -> args ((Some (n,Cic.Decl s))::context) t
| `Statement