Struct ConversionStats 

pub struct ConversionStats {
    pub exprs_visited: usize,
    pub let_bindings_generated: usize,
    pub lambdas_lifted: usize,
    pub proofs_erased: usize,
    pub types_erased: usize,
    pub closures_converted: usize,
    pub max_depth: usize,
    pub tail_calls_detected: usize,
    pub fresh_vars_allocated: usize,
    pub free_var_computations: usize,
}

Statistics collected during the conversion process.

Fields

exprs_visited: usize

Total number of kernel expressions visited.

let_bindings_generated: usize

Number of let bindings generated (ANF intermediaries).

lambdas_lifted: usize

Number of lambdas lifted to top level.

proofs_erased: usize

Number of proof terms erased.

types_erased: usize

Number of type arguments erased.

closures_converted: usize

Number of closures converted.

max_depth: usize

Maximum nesting depth reached during conversion.

tail_calls_detected: usize

Number of tail calls detected.

fresh_vars_allocated: usize

Number of fresh variables allocated.

free_var_computations: usize

Number of free variable computations performed.

Trait Implementations

impl Clone for ConversionStats

fn clone(&self) -> ConversionStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConversionStats

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

Formats the value using the given formatter.

impl Default for ConversionStats

fn default() -> ConversionStats

Returns the “default value” for a type.

impl Display for ConversionStats

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

Formats the value using the given formatter.