Enum ShapeProbe 

pub enum ShapeProbe {
    Value {
        label: String,
        value: Value,
    },
    Expr {
        label: String,
        expr: Expr,
    },
}

Example value or expression that gathers relation evidence.

Variants

Value

Runtime value probe.

Fields

label: String

Stable label recorded on the resulting witness.

value: Value

Value checked against both shapes.

Expr

Expression probe.

Fields

label: String

Stable label recorded on the resulting witness.

expr: Expr

Expression checked against both shapes.

Trait Implementations

impl Clone for ShapeProbe

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeProbe

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

Formats the value using the given formatter.