(** delifts the Rels in t of n
* @raise DeliftingARelWouldCaptureAFreeVariable
*)
-val delift_rels : int -> Cic.term -> Cic.term
+val delift_rels :
+ Cic.substitution -> Cic.metasenv -> int -> Cic.term ->
+ Cic.term * Cic.substitution * Cic.metasenv
(** {2 Pretty printers} *)