542
538
let loc, na = List.hd names in
543
539
(name,(Some (loc, Nameops.out_name na), Topconstr.CStructRec),args,types,body),
545
541
| (_,Some (Wf _),_,_,_),_ | (_,Some (Mes _),_,_,_),_->
547
543
("Cannot use mutual definition with well-founded recursion or measure")