Struct TransformCascadeProofObligationV0 

pub struct TransformCascadeProofObligationV0 {
    pub pass_id: &'static str,
    pub proof_product: &'static str,
    pub accepted: bool,
    pub blocked_reason: Option<String>,
    pub provenance_preserved: bool,
    pub cascade_safe_witness: String,
    pub source_span_start: Option<usize>,
    pub source_span_end: Option<usize>,
    pub checked_obligations: Vec<&'static str>,
    pub canonical_smt_input: Option<CanonicalSmtInputV0>,
    pub proof_payload: Value,
}

Fields

pass_id: &'static str

proof_product: &'static str

accepted: bool

blocked_reason: Option<String>

provenance_preserved: bool

cascade_safe_witness: String

source_span_start: Option<usize>

source_span_end: Option<usize>

checked_obligations: Vec<&'static str>

canonical_smt_input: Option<CanonicalSmtInputV0>

proof_payload: Value

Trait Implementations

impl Clone for TransformCascadeProofObligationV0

fn clone(&self) -> TransformCascadeProofObligationV0

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransformCascadeProofObligationV0

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

Formats the value using the given formatter.

impl Eq for TransformCascadeProofObligationV0

impl PartialEq for TransformCascadeProofObligationV0

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TransformCascadeProofObligationV0