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