Trait trivial_kernel::stream::proof::Run

pub trait Run<SS: Store> {
    fn run<T: Table, S>(
        &mut self, 
        state: &State, 
        table: &T, 
        is_definition: bool, 
        stream: S
    ) -> KResult
    where
        T: Table<Var = SS::Var>,
        S: IntoIterator,
        S::Item: TryInto<Command<Proof>>;
}

Required methods

fn run<T: Table, S>(
    &mut self,
    state: &State,
    table: &T,
    is_definition: bool,
    stream: S
) -> KResult where
    T: Table<Var = SS::Var>,
    S: IntoIterator,
    S::Item: TryInto<Command<Proof>>, 

Loading content...

Implementors

impl<SS: Store> Run<SS> for Context<SS>

fn run<T: Table, S>(
    &mut self,
    state: &State,
    table: &T,
    is_definition: bool,
    stream: S
) -> KResult where
    T: Table<Var = SS::Var>,
    S: IntoIterator,
    S::Item: TryInto<Command<Proof>>, 

Loading content...