Trait pocket_prover::BaseSystem

pub trait BaseSystem: Construct + CoreRules { }

Implemented by base logical systems.

Auto impls the ExtendRules trait and therefore also the Prove trait.

Implementors

Loading content...