Skip to main content

oxilean_kernel/env/
envstats_traits.rs

1//! # EnvStats - Trait Implementations
2//!
3//! This module contains trait implementations for `EnvStats`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::EnvStats;
12
13impl std::fmt::Display for EnvStats {
14    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
15        write!(
16            f,
17            "total={}, axioms={}, defs={}, thms={}, inductives={}, ctors={}, recs={}",
18            self.total,
19            self.axioms,
20            self.definitions,
21            self.theorems,
22            self.inductives,
23            self.constructors,
24            self.recursors,
25        )
26    }
27}