anninductiveType list * (* inductive types , *)
UriManager.uri list * int (* parameters,n ind. pars*)
and anninductiveType =
- string * bool * annterm * (* typename, inductive, arity *)
+ id * string * bool * annterm * (* typename, inductive, arity *)
annconstructor list (* constructors *)
and annconstructor =
string * annterm (* id, type *)