Skip to main content

oxilean_kernel/prettyprint/
printconfig_traits.rs

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