Enum TransportedTheoremUsageClass 

pub enum TransportedTheoremUsageClass {
    BlackBoxPremiseOnly,
    RuntimeCriticalInstantiatedPremise,
    DocumentationBackgroundOnly,
}

How one transported theorem family participates in shipped assurance.

Variants

BlackBoxPremiseOnly

Executed verifier/reporting surface treats this family as a black-box premise.

RuntimeCriticalInstantiatedPremise

This family materially influences a shipped runtime gate/guarantee surface.

DocumentationBackgroundOnly

This family is carried for documentation or background inventory only.

Trait Implementations

impl Clone for TransportedTheoremUsageClass

fn clone(&self) -> TransportedTheoremUsageClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransportedTheoremUsageClass

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransportedTheoremUsageClass

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TransportedTheoremUsageClass

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for TransportedTheoremUsageClass

impl Eq for TransportedTheoremUsageClass

impl StructuralPartialEq for TransportedTheoremUsageClass