Struct LambdaStats 

pub struct LambdaStats {
    pub lambda_count: usize,
    pub pi_count: usize,
    pub app_count: usize,
    pub let_count: usize,
    pub max_depth: usize,
}

Statistics about an expression’s lambda structure.

Fields

lambda_count: usize

Total number of lambda binders.

pi_count: usize

Total number of pi binders.

app_count: usize

Total number of application nodes.

let_count: usize

Total number of let binders.

max_depth: usize

Maximum nesting depth encountered.

Implementations

impl LambdaStats

pub fn compute(expr: &Expr) -> Self

Compute statistics for an expression.

pub fn total_binders(&self) -> usize

Total number of binders (lambda + pi + let).

Trait Implementations

impl Clone for LambdaStats

fn clone(&self) -> LambdaStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LambdaStats

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

Formats the value using the given formatter.

impl Default for LambdaStats

fn default() -> LambdaStats

Returns the “default value” for a type.