Struct RuntimeDeclaration 

pub struct RuntimeDeclaration {
    pub name: String,
    pub kind: String,
    pub safety: String,
    pub type_expression: usize,
    pub value_expression: Option<usize>,
}

Source-only runtime metadata. No corresponding axiom or body enters Context.

Fields

name: String

kind: String

safety: String

type_expression: usize

value_expression: Option<usize>

Trait Implementations

impl Debug for RuntimeDeclaration

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

Formats the value using the given formatter.

impl PartialEq for RuntimeDeclaration

fn eq(&self, other: &RuntimeDeclaration) -> 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 RuntimeDeclaration

impl StructuralPartialEq for RuntimeDeclaration