Struct InductionArg 

pub struct InductionArg {
    pub name: String,
    pub recursive: bool,
}

One argument of a constructor in an InductionCase.

Fields

name: String

The name bound for this argument in the case body.

recursive: bool

Whether this argument is itself of the inductive type — a recursive position, which therefore carries an induction hypothesis.

Trait Implementations

impl Clone for InductionArg

fn clone(&self) -> InductionArg

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InductionArg

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

Formats the value using the given formatter.

impl PartialEq for InductionArg

fn eq(&self, other: &InductionArg) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for InductionArg