Struct Round 

pub struct Round {
    pub substituted: Vec<(Application, Application)>,
    pub proof: Lrat,
}

A round: the identifications its derivation justifies (an application kept, and one whose results become the kept one’s), and the derivation, from the round’s miter, of their operands’ equalities — in the last round, of the outputs’ equalities.

Fields

substituted: Vec<(Application, Application)>

proof: Lrat

Trait Implementations

impl Clone for Round

fn clone(&self) -> Round

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Round

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

Formats the value using the given formatter.