Enum Def

pub enum Def {
    Pragma(Pragma),
    Type(Type),
    Rule(Rule),
    Extractor(Extractor),
    Decl(Decl),
    Spec(Spec),
    Model(Model),
    Form(Form),
    Instantiation(Instantiation),
    Extern(Extern),
    Converter(Converter),
}

One toplevel form in an ISLE file.

Variants

Pragma(Pragma)

Type(Type)

Rule(Rule)

Extractor(Extractor)

Decl(Decl)

Spec(Spec)

Model(Model)

Form(Form)

Instantiation(Instantiation)

Extern(Extern)

Converter(Converter)

Trait Implementations

impl Clone for Def

fn clone(&self) -> Def

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Def

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

Formats the value using the given formatter.

impl PartialEq for Def

fn eq(&self, other: &Def) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Def

impl StructuralPartialEq for Def