Struct chalk_ir::debug::ProgramClauseImplicationDebug

pub struct ProgramClauseImplicationDebug<'a, I: Interner> {
    pci: &'a ProgramClauseImplication<I>,
    interner: I,
}

Helper struct for showing debug output for program clause implications.

Fields

pci: &'a ProgramClauseImplication<I>

interner: I

Trait Implementations

impl<'a, I: Interner> Debug for ProgramClauseImplicationDebug<'a, I>

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.