| (C.Appl ((C.MutInd (uri,typeno,exp_named_subst))::applist)) (* when (not (List.mem (uri,typeno,exp_named_subst) urilist)) *) ->
(uri,typeno,exp_named_subst)::(List.fold_left search_inductive_types urilist applist)
| _ -> urilist
| (C.Appl ((C.MutInd (uri,typeno,exp_named_subst))::applist)) (* when (not (List.mem (uri,typeno,exp_named_subst) urilist)) *) ->
(uri,typeno,exp_named_subst)::(List.fold_left search_inductive_types urilist applist)
| _ -> urilist