pub fn debug<'a>(&'a self, interner: &'a I) -> SubstitutionDebug<'a, I> {
        SubstitutionDebug {
            substitution: self,
            interner,
        }
    }
/// Show debug output for the substitution.
Show debug output for the substitution.
Show debug output for the substitution .
pub fn debug<'a>(&'a self, interner: &'a I) -> SubstitutionDebug<'a, I> {
        SubstitutionDebug {
            substitution: self,
            interner,
        }
    }
pub fn debug < ' a > ( & ' a self , interner : & ' a I ) -> SubstitutionDebug < ' a , I > { SubstitutionDebug { substitution : self , interner , } }
Show debug output for the substitution.
Show debug output for the substitution .
&'a self
interner
&'a I