Protocol

Trait Protocol 

Source
pub trait Protocol {
    type Public;

    // Required method
    fn protocol(self, data: Self::Public) -> bool;
}
Expand description

A variant of Invariant for use in LocalInvariants.

This allows to specify an invariant that depends on some public data.

Required Associated Types§

Required Methods§

Source

fn protocol(self, data: Self::Public) -> bool

(prophetic)

Implementors§