(* lifts [t] of [n] *)
val lift : int -> Cic.term -> Cic.term
+(** delifts t of n
+ * @raise Failure s
+ *)
+val delift : int -> Cic.term -> Cic.term
+
+
(* lift from n t *)
(* as lift but lifts only indexes >= from *)
val lift_from: int -> int -> Cic.term -> Cic.term