Struct CoqBranch 

pub struct CoqBranch {
    pub constructor: String,
    pub args: Vec<String>,
    pub body: CoqTerm,
}

A single branch inside a match expression. | ctor arg1 arg2 => body

Fields

constructor: String

Constructor name (e.g. "O", "S", "nil", "cons")

args: Vec<String>

Bound variable names for constructor arguments

body: CoqTerm

Right-hand side of the branch

Trait Implementations

impl Clone for CoqBranch

fn clone(&self) -> CoqBranch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoqBranch

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

Formats the value using the given formatter.

impl PartialEq for CoqBranch

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for CoqBranch