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