Trait pocket_prover::BaseSystem

source · [−]
pub trait BaseSystem: Construct + CoreRules { }
Expand description

Implemented by base logical systems.

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

Implementors