Trait Run 

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

Required Methods

fn run<T, S>( &mut self, state: &State, table: &T, is_definition: bool, stream: S, ) -> KResult

where T: Table<Var = SS::Var> + Table, S: IntoIterator, S::Item: TryInto<Command<Proof>>,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

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