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