Struct Attributes

pub struct Attributes {
    pub inlined: bool,
    pub kdl_run: bool,
    pub kdl_erase: bool,
    pub kdl_name: Option<Ident>,
    pub kdl_state: Option<Ident>,
    pub trace: Option<bool>,
    pub keep: bool,
    pub partial: bool,
    pub axiom: bool,
}

Attributes describes some compiler specific aspects like inlining and derivations.

Fields

inlined: bool

kdl_run: bool

kdl_erase: bool

kdl_name: Option<Ident>

kdl_state: Option<Ident>

trace: Option<bool>

keep: bool

partial: bool

axiom: bool

Trait Implementations

impl Clone for Attributes

fn clone(&self) -> Attributes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Attributes

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

Formats the value using the given formatter.

impl Default for Attributes

fn default() -> Attributes

Returns the “default value” for a type.