| C.Fix (_,fl) ->
let len = List.length fl in
let n_plus_len = n + len in
- let tys =
- List.map (fun (n,_,ty,_) -> Some (C.Name n,(Cic.Decl ty))) fl
- in
List.fold_right
(fun (_,_,ty,bo) i ->
i && does_not_occur n ty &&
| C.CoFix (_,fl) ->
let len = List.length fl in
let n_plus_len = n + len in
- let tys =
- List.map (fun (n,ty,_) -> Some (C.Name n,(Cic.Decl ty))) fl
- in
List.fold_right
(fun (_,ty,bo) i ->
i && does_not_occur n ty &&