Struct QuotReductionStep 

pub struct QuotReductionStep {
    pub kind: QuotReductionKind,
    pub before: Expr,
    pub after: Expr,
}

A single quotient reduction step (for tracing).

Fields

kind: QuotReductionKind

Which rule was applied.

before: Expr

The expression before reduction.

after: Expr

The expression after reduction.

Implementations

impl QuotReductionStep

pub fn new(kind: QuotReductionKind, before: Expr, after: Expr) -> Self

Create a new reduction step.

Trait Implementations

impl Clone for QuotReductionStep

fn clone(&self) -> QuotReductionStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuotReductionStep

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

Formats the value using the given formatter.