Struct DeclarationAudit 

pub struct DeclarationAudit {
    pub name: String,
    pub kind: String,
    pub type_expression: usize,
    pub value_expression: Option<usize>,
    pub axioms: Vec<String>,
}

Fields

name: String

kind: String

type_expression: usize

value_expression: Option<usize>

axioms: Vec<String>

Trait Implementations

impl Debug for DeclarationAudit

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

Formats the value using the given formatter.

impl PartialEq for DeclarationAudit

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

impl StructuralPartialEq for DeclarationAudit