Skip to main content

oxilean_kernel/whnf/
whnfconfig_traits.rs

1//! # WhnfConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `WhnfConfig`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::WhnfConfig;
12
13impl Default for WhnfConfig {
14    fn default() -> Self {
15        Self {
16            beta: true,
17            zeta: true,
18            delta: true,
19            iota: true,
20            max_steps: 0,
21        }
22    }
23}