414
420
| _ -> Util.error "Cannot handle mutually (co)inductive records."
416
422
let indl = List.map unpack indl in
419
425
let vernac_fixpoint l b =
421
427
List.iter (fun ((lid, _, _, _, _), _) -> Dumpglob.dump_definition lid false "def") l;
424
430
let vernac_cofixpoint l b =
426
432
List.iter (fun ((lid, _, _, _), _) -> Dumpglob.dump_definition lid false "def") l;