Struct EquivalenceRule 

pub struct EquivalenceRule {
    pub name: String,
    pub lhs: String,
    pub rhs: String,
    pub condition: Option<String>,
}

An equivalence rule (η-expansion).

Fields

name: String

Name of the rule

lhs: String

Left-hand side

rhs: String

Right-hand side

condition: Option<String>

Type condition (when this rule applies)

Trait Implementations

impl Clone for EquivalenceRule

fn clone(&self) -> EquivalenceRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EquivalenceRule

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

Formats the value using the given formatter.