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