Skip to main content

oxilean_kernel/trace/
flatsubstitution_traits.rs

1//! # FlatSubstitution - Trait Implementations
2//!
3//! This module contains trait implementations for `FlatSubstitution`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::FlatSubstitution;
12use std::fmt;
13
14impl Default for FlatSubstitution {
15    fn default() -> Self {
16        Self::new()
17    }
18}