Struct FileStats 

pub struct FileStats {
    pub total_decls: u32,
    pub axioms: u32,
    pub definitions: u32,
    pub theorems: u32,
    pub opaques: u32,
    pub inductives: u32,
    pub other: u32,
    pub total_bytes: usize,
}

Statistics about a serialized file.

Fields

total_decls: u32

axioms: u32

definitions: u32

theorems: u32

opaques: u32

inductives: u32

other: u32

total_bytes: usize

Implementations

impl FileStats

pub fn from_decls(decls: &[SerialDecl], total_bytes: usize) -> Self

Build stats from a list of declarations and total byte size.

pub fn bytes_per_decl(&self) -> f64

Return the average bytes per declaration.

pub fn summary(&self) -> String

Format a one-line summary.

Trait Implementations

impl Clone for FileStats

fn clone(&self) -> FileStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FileStats

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

Formats the value using the given formatter.

impl Default for FileStats

fn default() -> FileStats

Returns the “default value” for a type.