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