val lift : int -> Cic.term -> Cic.term
val subst : Cic.term -> Cic.term -> Cic.term
val undebrujin_inductive_def : UriManager.uri -> Cic.obj -> Cic.obj