Struct Bindings 

pub struct Bindings {
    pub state: VarId,
    pub events: VarId,
    pub result: VarId,
}

The three names a test’s expectations may use. They are plain data — a folded state, the events a command produced, and the result of the last one — so every backend can hold them.

Fields

state: VarId

events: VarId

result: VarId

Trait Implementations

impl Clone for Bindings

fn clone(&self) -> Bindings

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Bindings

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

Formats the value using the given formatter.

impl Copy for Bindings