1 2 3 4 5 6 7 8 9 10 11 12 13 14
extern crate session_types; use session_types::*; fn server(c: Chan<(), Eps>) { c.close() } fn client(c: Chan<(), Eps>) { c.close() } fn main() { connect(server, client); }