Struct EmitOptions 

pub struct EmitOptions {
    pub ctor_style: CtorStyle,
    pub type_name: Option<fn(&str) -> String>,
    pub value_name: Option<fn(&str) -> String>,
    pub ctor_name: Option<fn(&str) -> String>,
    pub module_segment: Option<fn(&str) -> String>,
    pub generated: Option<fn(&str) -> Vec<String>>,
    pub type_space: bool,
    pub modules_share_term_space: bool,
    pub modules_share_type_space: bool,
    pub root_reserved: &'static [&'static str],
}

Target naming rules for EmitState.

Fields

ctor_style: CtorStyle

type_name: Option<fn(&str) -> String>

value_name: Option<fn(&str) -> String>

ctor_name: Option<fn(&str) -> String>

module_segment: Option<fn(&str) -> String>

generated: Option<fn(&str) -> Vec<String>>

Names the target itself derives from a declaration (Rocq’s f_equation, T_ind).

type_space: bool

modules_share_term_space: bool

modules_share_type_space: bool

root_reserved: &'static [&'static str]

Names root declarations may not take because the target’s prelude has them.

Trait Implementations

impl Clone for EmitOptions

fn clone(&self) -> EmitOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EmitOptions

impl Default for EmitOptions

fn default() -> EmitOptions

Returns the “default value” for a type.