Struct EtaNormInfo 

pub struct EtaNormInfo {
    pub normalized: Expr,
    pub contractions: usize,
    pub already_normal: bool,
}

Information about the eta-normal form of an expression.

Fields

normalized: Expr

The eta-normalized expression.

contractions: usize

Number of eta contractions performed.

already_normal: bool

Whether the expression was already in eta-normal form.

Implementations

impl EtaNormInfo

pub fn already_normal(expr: Expr) -> Self

Create an info record for an expression that was already normal.

pub fn contracted(expr: Expr, n: usize) -> Self

Create an info record for an expression that required contractions.

Trait Implementations

impl Clone for EtaNormInfo

fn clone(&self) -> EtaNormInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaNormInfo

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

Formats the value using the given formatter.