pub fn debug<'a>(&'a self, interner: &'a I) -> ProgramClauseImplicationDebug<'a, I> {
        ProgramClauseImplicationDebug {
            pci: self,
            interner,
        }
    }
/// Show debug output for the program clause implication.
Show debug output for the program clause implication.
Show debug output for the program clause implication .
pub fn debug<'a>(&'a self, interner: &'a I) -> ProgramClauseImplicationDebug<'a, I> {
        ProgramClauseImplicationDebug {
            pci: self,
            interner,
        }
    }
pub fn debug < ' a > ( & ' a self , interner : & ' a I ) -> ProgramClauseImplicationDebug < ' a , I > { ProgramClauseImplicationDebug { pci : self , interner , } }
Show debug output for the program clause implication.
Show debug output for the program clause implication .
&'a self
interner
&'a I