Searched defs:bound_vars_subst (Results 1 – 2 of 2) sorted by relevance
271 pub(crate) fn bound_vars_subst(&self, debruijn: DebruijnIndex) -> Substitution { in bound_vars_subst() method
269 pub(crate) fn bound_vars_subst(&self, debruijn: DebruijnIndex) -> Substitution { in bound_vars_subst() method