oxilean_codegen/coq_backend/coqextconfig_traits.rs
1//! # CoqExtConfig - Trait Implementations
2//!
3//! This module contains trait implementations for `CoqExtConfig`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Default`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::CoqExtConfig;
12
13impl Default for CoqExtConfig {
14 fn default() -> Self {
15 Self {
16 emit_comments: true,
17 use_program: false,
18 use_equations: false,
19 universe_polymorphism: false,
20 default_db: "core".to_string(),
21 emit_extracted: false,
22 }
23 }
24}