term * UriManager.uri list * attribute list (* type, parameters *)
| InductiveDefinition of inductiveType list * (* inductive types, *)
UriManager.uri list * int * attribute list (* params, left params no *)
term * UriManager.uri list * attribute list (* type, parameters *)
| InductiveDefinition of inductiveType list * (* inductive types, *)
UriManager.uri list * int * attribute list (* params, left params no *)