Struct EnvStats 

pub struct EnvStats {
    pub total: usize,
    pub axioms: usize,
    pub definitions: usize,
    pub theorems: usize,
    pub inductives: usize,
    pub constructors: usize,
    pub recursors: usize,
}

Environment statistics summary.

Fields

total: usize

Total constants.

axioms: usize

Axioms.

definitions: usize

Definitions.

theorems: usize

Theorems.

inductives: usize

Inductive types.

constructors: usize

Constructors.

recursors: usize

Recursors.

Trait Implementations

impl Clone for EnvStats

fn clone(&self) -> EnvStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EnvStats

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

Formats the value using the given formatter.

impl Default for EnvStats

fn default() -> EnvStats

Returns the “default value” for a type.

impl Display for EnvStats

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

Formats the value using the given formatter.