Trait pocket_prover::ExtendRules
source · [−]pub trait ExtendRules: CoreRules {
type Inner: ExtendRules;
fn inner(&self) -> &Self::Inner;
fn extend_rules(&self, inner: &Self::Inner) -> u64;
fn full_rules(&self) -> u64 { ... }
}
Expand description
Implemented by logical systems to extend existing ones.
Associated Types
type Inner: ExtendRules
type Inner: ExtendRules
The inner logical system.
Required methods
fn extend_rules(&self, inner: &Self::Inner) -> u64
fn extend_rules(&self, inner: &Self::Inner) -> u64
Rules used to integrate with inner logical system.
Provided methods
fn full_rules(&self) -> u64
fn full_rules(&self) -> u64
The full rules of the entire logical system.