Skip to main content

UnifyStream

Trait UnifyStream 

Source
pub trait UnifyStream {
    // Required methods
    fn push(&mut self, command: Command<Unify>);
    fn done(&self) -> (usize, usize);
}

Required Methods§

Source

fn push(&mut self, command: Command<Unify>)

Source

fn done(&self) -> (usize, usize)

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§