Skip to main content

oxilean_codegen/coq_backend/
coqcodestats_traits.rs

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