[−][src]Trait pocket_prover::CoreRules
Implemented by logical systems to define core rules.
Required methods
fn core_rules(&self) -> u64
The core rules of the logical system.
Implementations on Foreign Types
impl CoreRules for ()
[src]
fn core_rules(&self) -> u64
[src]
impl<T0: CoreRules, T1: CoreRules> CoreRules for (T0, T1)
[src]
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2> CoreRules for (T0, T1, T2) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3> CoreRules for (T0, T1, T2, T3) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3, T4> CoreRules for (T0, T1, T2, T3, T4) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3, T4, T5> CoreRules for (T0, T1, T2, T3, T4, T5) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3, T4, T5, T6> CoreRules for (T0, T1, T2, T3, T4, T5, T6) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3, T4, T5, T6, T7> CoreRules for (T0, T1, T2, T3, T4, T5, T6, T7) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
T7: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
T7: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> CoreRules for (T0, T1, T2, T3, T4, T5, T6, T7, T8) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
T7: CoreRules,
T8: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
T7: CoreRules,
T8: CoreRules,
fn core_rules(&self) -> u64
[src]
impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> CoreRules for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) where
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
T7: CoreRules,
T8: CoreRules,
T9: CoreRules,
[src]
T0: CoreRules,
T1: CoreRules,
T2: CoreRules,
T3: CoreRules,
T4: CoreRules,
T5: CoreRules,
T6: CoreRules,
T7: CoreRules,
T8: CoreRules,
T9: CoreRules,