Struct ContextStats 

pub struct ContextStats {
    pub num_locals: usize,
    pub num_lets: usize,
    pub num_implicit: usize,
    pub max_depth: usize,
}

Statistics for a context.

Fields

num_locals: usize

Total number of locals.

num_lets: usize

Number of let-bindings.

num_implicit: usize

Number of implicit binders.

max_depth: usize

Maximum nesting depth reached.

Implementations

impl ContextStats

pub fn from_context(ctx: &Context) -> Self

Compute stats from a context.

Trait Implementations

impl Clone for ContextStats

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContextStats

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

Formats the value using the given formatter.

impl Default for ContextStats

fn default() -> Self

Returns the “default value” for a type.