* http://cs.unibo.it/helm/.
*)
-val need_whd: int -> Cic.annterm -> bool
-
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: int -> Cic.annterm -> Cic.annterm