use dope_core::driver::route::Identity;
use crate::wire::{self, receive, terminal};
pub enum Clean {}
pub enum State {}
pub trait Eof<W: wire::Spec>: receive::Policy<W, Eof = State> {
fn eof<'w, ID: Identity + 'w>(
wire: &mut W::Connection<'w, ID>,
end: terminal::Send<'_, terminal::Error<'w, W>>,
) -> terminal::Processed<()>
where
W: 'w;
}