) context l1)) ^
"]"
with
- CicUtil.Meta_not_found _ ->
+ CicUtil.Meta_not_found _
+ | Invalid_argument _ ->
"???" ^ (string_of_int n) ^ "[" ^
String.concat " ; "
(List.rev_map (function None -> "_" | Some t -> pp t l) l1) ^
C.InductiveDefinition (dl,_,paramsno,_) ->
let (_,_,_,cons) = get_nth dl (n1+1) in
List.map
- (fun id,ty ->
+ (fun (id,ty) ->
(* this is just an approximation since we do not have
reduction yet! *)
let rec count_prods toskip =