oxilean_codegen/coq_backend/coqmoduledef_traits.rs
1//! # CoqModuleDef - Trait Implementations
2//!
3//! This module contains trait implementations for `CoqModuleDef`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::CoqModuleDef;
12use std::fmt;
13
14impl std::fmt::Display for CoqModuleDef {
15 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
16 let (kw, end) = if self.is_section {
17 ("Section", "End")
18 } else {
19 ("Module", "End")
20 };
21 writeln!(f, "{} {}.", kw, self.name)?;
22 for item in &self.items {
23 writeln!(f, "{}", item)?;
24 }
25 write!(f, "{} {}.", end, self.name)
26 }
27}