pub(crate) fn bound_vars_subst(&self, debruijn: DebruijnIndex) -> Substitution {
        Substitution::from_iter(
            &Interner,
            self.iter()
                .enumerate()
                .map(|(idx, _)| TyKind::BoundVar(BoundVar::new(debruijn, idx)).intern(&Interner)),
        )
    }
/// Returns a Substitution that replaces each parameter by a bound variable.
Returns a Substitution that replaces each parameter by a bound variable.
Returns a Substitution that replaces each parameter by a bound variable .
pub(crate) fn bound_vars_subst(&self, debruijn: DebruijnIndex) -> Substitution {
        Substitution::from_iter(
            &Interner,
            self.iter()
                .enumerate()
                .map(|(idx, _)| TyKind::BoundVar(BoundVar::new(debruijn, idx)).intern(&Interner)),
        )
    }
pub ( crate ) fn bound_vars_subst ( & self , debruijn : DebruijnIndex ) -> Substitution { Substitution :: from_iter ( & Interner , self . iter ( ) . enumerate ( ) . map ( | ( idx , _ ) | TyKind :: BoundVar ( BoundVar :: new ( debruijn , idx ) ) . intern ( & Interner ) ) , ) }
Returns a Substitution that replaces each parameter by a bound variable.
Returns a Substitution that replaces each parameter by a bound variable .
&self
debruijn
DebruijnIndex
&self
debruijn
DebruijnIndex