Trait pocket_prover::CoreRules

pub trait CoreRules {
    fn core_rules(&self) -> u64;
}

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 ()

fn core_rules(&self) -> u64

impl<T0: CoreRules, T1: CoreRules> CoreRules for (T0, T1)

fn core_rules(&self) -> u64

impl<T0, T1, T2> CoreRules for (T0, T1, T2) where
    T0: CoreRules,
    T1: CoreRules,
    T2: CoreRules, 

fn core_rules(&self) -> u64

impl<T0, T1, T2, T3> CoreRules for (T0, T1, T2, T3) where
    T0: CoreRules,
    T1: CoreRules,
    T2: CoreRules,
    T3: CoreRules, 

fn core_rules(&self) -> u64

impl<T0, T1, T2, T3, T4> CoreRules for (T0, T1, T2, T3, T4) where
    T0: CoreRules,
    T1: CoreRules,
    T2: CoreRules,
    T3: CoreRules,
    T4: CoreRules, 

fn core_rules(&self) -> u64

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, 

fn core_rules(&self) -> u64

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, 

fn core_rules(&self) -> u64

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, 

fn core_rules(&self) -> u64

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, 

fn core_rules(&self) -> u64

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, 

fn core_rules(&self) -> u64

Implementors