val lift : int -> Cic.term -> Cic.term
val subst : Cic.term -> Cic.term -> Cic.term
val lift_meta : (Cic.term option) list -> Cic.term -> Cic.term
val lift : int -> Cic.term -> Cic.term
val subst : Cic.term -> Cic.term -> Cic.term
val lift_meta : (Cic.term option) list -> Cic.term -> Cic.term