Enum ProbeOracle 

pub enum ProbeOracle {
    Expected(Expr),
    Evidence(ContentId),
}

Oracle backing a concrete verification probe.

Variants

Expected(Expr)

Expected decoded answer for the probe case.

Evidence(ContentId)

Content id of evidence that supplies the expected answer.

Trait Implementations

impl Clone for ProbeOracle

fn clone(&self) -> ProbeOracle

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProbeOracle

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

Formats the value using the given formatter.

impl Eq for ProbeOracle

impl PartialEq for ProbeOracle

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ProbeOracle