Struct CheckOpts 

pub struct CheckOpts {
    pub strict: bool,
    pub validate_formalization: bool,
}

check’s switches.

Fields

strict: bool

validate_formalization: bool

Also judge formalization.yaml against the summary and the tree (EV-8b, formalization).

Trait Implementations

impl Clone for CheckOpts

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CheckOpts

impl Debug for CheckOpts

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

Formats the value using the given formatter.

impl Default for CheckOpts

fn default() -> Self

Returns the “default value” for a type.