Struct VerifyProbe 

pub struct VerifyProbe {
    pub args: Expr,
    pub oracle: ProbeOracle,
    pub verifier_ids: Vec<Symbol>,
}

Concrete case that proves a compiled intent against required verifiers.

Fields

args: Expr

Concrete arguments for the known case.

oracle: ProbeOracle

Expected answer or evidence reference for the known case.

verifier_ids: Vec<Symbol>

Verifier ids that must pass on this probe.

Implementations

impl VerifyProbe

pub fn content_id(&self) -> Result<ContentId>

Returns the content id of this probe record.

Trait Implementations

impl Clone for VerifyProbe

fn clone(&self) -> VerifyProbe

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyProbe

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

Formats the value using the given formatter.

impl Eq for VerifyProbe

impl PartialEq for VerifyProbe

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for VerifyProbe