299
299
let lenpars = List.length (List.filter (fun (na, b, t) -> b = None) (snd cl.cl_context)) in
300
300
let pars = fst (list_chop lenpars args) in
303
303
applistc (mkInd ind) pars
307
309
let typeclasses () = Gmap.fold (fun _ l c -> l :: c) !classes []