oxilean_meta/basic/metaconfig_traits.rs
1//! # MetaConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `MetaConfig`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::MetaConfig;
12
13impl Default for MetaConfig {
14 fn default() -> Self {
15 Self {
16 fo_approx: true,
17 const_approx: false,
18 ctx_approx: true,
19 track_assignments: false,
20 max_recursion_depth: 512,
21 proof_irrelevance: true,
22 eta_struct: true,
23 unfold_reducible: true,
24 }
25 }
26}