Struct chalk_ir::debug::ProgramClauseImplicationDebug
source · pub struct ProgramClauseImplicationDebug<'a, I: Interner> {
pci: &'a ProgramClauseImplication<I>,
interner: I,
}
Expand description
Helper struct for showing debug output for program clause implications.
Fields§
§pci: &'a ProgramClauseImplication<I>
§interner: I