Trait CheckProtocol 

pub trait CheckProtocol {
    // Required method
    fn enforce_law(&self);
}

Protocol for enforcing constitutional invariants (runtime checks).

Required Methods

fn enforce_law(&self)

Enforces all invariants, panicking if any are violated.

Implementors