Trait Protocol 

pub trait Protocol {
    type Public;

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

A variant of Invariant for use in LocalInvariants.

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

Required Associated Types

type Public

Required Methods

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

(prophetic)

Implementors