oxilean_codegen/coq_backend/coqextemitstats_traits.rs
1//! # CoqExtEmitStats - Trait Implementations
2//!
3//! This module contains trait implementations for `CoqExtEmitStats`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::CoqExtEmitStats;
12use std::fmt;
13
14impl std::fmt::Display for CoqExtEmitStats {
15 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
16 write!(
17 f,
18 "CoqExtEmitStats {{ theorems={}, defs={}, lemmas={}, axioms={}, tactics={} }}",
19 self.theorems_emitted,
20 self.definitions_emitted,
21 self.lemmas_emitted,
22 self.axioms_emitted,
23 self.tactics_emitted,
24 )
25 }
26}