(** parameters, list of loc * mutual inductive types *)
| Theorem of string * 'term * 'term option * NCic.c_attr
(** name, type, body, attributes
(** parameters, list of loc * mutual inductive types *)
| Theorem of string * 'term * 'term option * NCic.c_attr
(** name, type, body, attributes