Skip to main content

oxilean_kernel/def_eq/
defeqconfig_traits.rs

1//! # DefEqConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `DefEqConfig`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use crate::reduce::{Reducer, ReducibilityHint, TransparencyMode};
12
13use super::types::DefEqConfig;
14
15impl Default for DefEqConfig {
16    fn default() -> Self {
17        Self {
18            max_steps: 1_000_000,
19            proof_irrelevance: true,
20            eta: true,
21            lazy_delta: true,
22            transparency: TransparencyMode::Reducible,
23        }
24    }
25}