Struct LcnfModuleMetadata 

pub struct LcnfModuleMetadata {
    pub decl_count: usize,
    pub lambdas_lifted: usize,
    pub proofs_erased: usize,
    pub types_erased: usize,
    pub let_bindings: usize,
}

Metadata about an LCNF module.

Fields

decl_count: usize

Number of declarations converted.

lambdas_lifted: usize

Number of lambdas lifted.

proofs_erased: usize

Number of proofs erased.

types_erased: usize

Number of types erased.

let_bindings: usize

Total LCNF let bindings generated.

Trait Implementations

impl Clone for LcnfModuleMetadata

fn clone(&self) -> LcnfModuleMetadata

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LcnfModuleMetadata

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

Formats the value using the given formatter.

impl Default for LcnfModuleMetadata

fn default() -> LcnfModuleMetadata

Returns the “default value” for a type.