| LetIn of name * term * term (* binder, term, target *)
| Appl of term list (* arguments *)
| Const of UriManager.uri * int (* uri, number of cookings*)
- | Abst of UriManager.uri (* uri *)
| MutInd of UriManager.uri * int * int (* uri, cookingsno, typeno*)
| MutConstruct of UriManager.uri * int * (* uri, cookingsno, *)
int * int (* typeno, consno *)
| ALetIn of id * name * annterm * annterm (* binder, term, target *)
| AAppl of id * annterm list (* arguments *)
| AConst of id * UriManager.uri * int (* uri, number of cookings*)
- | AAbst of id * UriManager.uri (* uri *)
| AMutInd of id * UriManager.uri * int * int (* uri, cookingsno, typeno*)
| AMutConstruct of id * UriManager.uri * int * (* uri, cookingsno, *)
int * int (* typeno, consno *)