Skip to main content

oxilean_codegen/coq_backend/
coqexample_traits.rs

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