Struct CheckStats 

pub struct CheckStats {
    pub num_axioms: usize,
    pub num_definitions: usize,
    pub num_theorems: usize,
    pub num_opaques: usize,
    pub num_failures: usize,
}

Statistics gathered during declaration checking.

Fields

num_axioms: usize

Number of axioms checked.

num_definitions: usize

Number of definitions checked.

num_theorems: usize

Number of theorems checked.

num_opaques: usize

Number of opaque definitions checked.

num_failures: usize

Number of failures.

Implementations

impl CheckStats

pub fn new() -> Self

Create a new empty statistics record.

pub fn total(&self) -> usize

Total number of declarations processed (including failures).

pub fn num_ok(&self) -> usize

Total number of successful checks.

Trait Implementations

impl Clone for CheckStats

fn clone(&self) -> CheckStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CheckStats

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

Formats the value using the given formatter.

impl Default for CheckStats

fn default() -> CheckStats

Returns the “default value” for a type.