Struct Formalization 

pub struct Formalization {
    pub axioms: Vec<String>,
    pub capstones: Vec<String>,
}

formalization.yaml’s status.axioms and capstones, or the defaults when it is absent. --validate-formalization (formalization, EV-8b) is the arm that requires it.

Fields

axioms: Vec<String>

capstones: Vec<String>

Trait Implementations

impl Clone for Formalization

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Formalization

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

Formats the value using the given formatter.

impl Eq for Formalization

impl PartialEq for Formalization

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Formalization