Skip to main content

oxilean_codegen/lean4_backend/
lean4calcstep_traits.rs

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