Trait trivial_kernel::stream::unify::Unify[−][src]

pub trait Unify {
    fn end(&mut self, mode: Mode) -> KResult;

    fn term(&mut self, idx: u32, save: bool) -> KResult;

    fn reference(&mut self, idx: u32) -> KResult;

    fn dummy(&mut self, sort: u32) -> KResult;

    fn hyp_thm(&mut self) -> KResult;

    fn hyp_thm_end(&mut self) -> KResult;

    fn execute(&mut self, command: Command<Unify>, mode: Mode) -> KResult<bool> { ... }
}

Required methods

fn end(&mut self, mode: Mode) -> KResult[src]

fn term(&mut self, idx: u32, save: bool) -> KResult[src]

fn reference(&mut self, idx: u32) -> KResult[src]

fn dummy(&mut self, sort: u32) -> KResult[src]

fn hyp_thm(&mut self) -> KResult[src]

fn hyp_thm_end(&mut self) -> KResult[src]

Loading content...

Provided methods

fn execute(&mut self, command: Command<Unify>, mode: Mode) -> KResult<bool>[src]

Loading content...

Implementors

impl<S: Store> Unify for Context<S>[src]

Loading content...