val lift: int -> int -> Cic.annterm -> Cic.annterm
-val mk_ind:
- Cic.context -> Cic.id -> UriManager.uri -> int ->
- Cic.annterm -> Cic.annterm -> Cic.annterm list ->
- Cic.annterm option
-
-val mk_pattern: Cic.annterm list -> Cic.annterm -> Cic.annterm
+val mk_pattern: int -> Cic.annterm -> Cic.annterm