Struct Assumption 

pub struct Assumption {
    pub id: &'static str,
    pub claim: &'static str,
    pub basis: Basis,
    pub oracle: Oracle,
    pub governs: Governs,
}

Fields

id: &'static str

claim: &'static str

basis: Basis

oracle: Oracle

governs: Governs

The statement kinds, usages and options the claim could bear on: any of the conjunctions, each met when one program the run entered holds all of its triggers, with the run’s own facts. An over-approximation, at program granularity.

Trait Implementations

impl Clone for Assumption

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Assumption

impl Debug for Assumption

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

Formats the value using the given formatter.