Skip to main content

oxilean_codegen/lean4_backend/
l4extpassconfig_traits.rs

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