Struct CoqExtConfig 

pub struct CoqExtConfig {
    pub emit_comments: bool,
    pub use_program: bool,
    pub use_equations: bool,
    pub universe_polymorphism: bool,
    pub default_db: String,
    pub emit_extracted: bool,
}

Coq extended backend config

Fields

emit_comments: bool

use_program: bool

use_equations: bool

universe_polymorphism: bool

default_db: String

emit_extracted: bool

Trait Implementations

impl Clone for CoqExtConfig

fn clone(&self) -> CoqExtConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CoqExtConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for CoqExtConfig

fn default() -> Self

Returns the “default value” for a type.