Trait Protocol 

pub trait Protocol {
    type Public;

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

A variant of Invariant for use in AtomicInvariants and NonAtomicInvariants.

This allows to specify an invariant that depends on some public data (AtomicInvariant::public, NonAtomicInvariant::public).

Required Associated Types

type Public

Required Methods

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

(prophetic)

Implementors