Struct Observe 

pub struct Observe {
    pub meter: Option<Box<dyn DeclMeter>>,
    pub trust_before: u64,
}

How a run is observed, beside the kernel’s own configuration.

Fields

meter: Option<Box<dyn DeclMeter>>

Told about every declaration the kernel checks.

trust_before: u64

The declarations before this index are admitted as the export states them, unchecked — except the primitives, the quotient and any inductive block declaring a primitive, which are checked so that the literal operations validated match a full run. A diagnostic for measuring declarations deep in an export without re-checking its prefix: a run with a trusted prefix claims nothing, and always declines.

Trait Implementations

impl Default for Observe

fn default() -> Observe

Returns the “default value” for a type.