(** parameters, list of loc * mutual inductive types *)
| Theorem of Cic.object_flavour * string * term * term option
(** flavour, name, type, body
(** parameters, list of loc * mutual inductive types *)
| Theorem of Cic.object_flavour * string * term * term option
(** flavour, name, type, body