Trait pocket_prover::Construct

pub trait Construct: Sized {
    fn construct(vs: &[u64]) -> Self;

    fn n() -> usize { ... }
}

Used to construct logical systems.

Required methods

fn construct(vs: &[u64]) -> Self

Creates a logical system out of proof arguments.

Loading content...

Provided methods

fn n() -> usize

Gets the number of bits in logical system.

Loading content...

Implementations on Foreign Types

impl Construct for ()

fn construct(_vs: &[u64]) -> Self

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

fn construct(vs: &[u64]) -> Self

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

fn construct(vs: &[u64]) -> Self

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

fn construct(vs: &[u64]) -> Self

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

fn construct(vs: &[u64]) -> Self

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

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6> Construct for (T0, T1, T2, T3, T4, T5, T6) where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct, 

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7> Construct for (T0, T1, T2, T3, T4, T5, T6, T7) where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,
    T7: Construct, 

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> Construct for (T0, T1, T2, T3, T4, T5, T6, T7, T8) where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,
    T7: Construct,
    T8: Construct, 

fn construct(vs: &[u64]) -> Self

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> Construct for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) where
    T0: Construct,
    T1: Construct,
    T2: Construct,
    T3: Construct,
    T4: Construct,
    T5: Construct,
    T6: Construct,
    T7: Construct,
    T8: Construct,
    T9: Construct, 

fn construct(vs: &[u64]) -> Self

Loading content...

Implementors

Loading content...