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.
Required Associated Types
sourcetype Inner: ExtendRules
type Inner: ExtendRules
The inner logical system.
Required Methods
sourcefn 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
sourcefn full_rules(&self) -> u64
fn full_rules(&self) -> u64
The full rules of the entire logical system.