ohmega bidirectional rm rev.2d /bin/umodem rev.2d plop ,.........................|...., :rev v : :*=================* *=======*: :!send [(Inr (),E)]!->!use rec!- :*=================* *=======*: ,.............................., ,.............................|.........., :rec v : : *==================* *==============* : ->!send [(W,S),(W,E)]!->!case N of S, E!+: : *==================* *==============*|: : | | ++: : v | v : : *==================* | *============*: : !send [(N,S),(N,E)]!---#>!send [(W,E)]!- : *==================* v *============*: : | *=======* : :+--+ !split N!----+ : :| *=======* | : :| +-+ | : :| v v : :| *====================* *=======*: :+>!send [(Inl (N,W),E)]!------>!use rec!- : *====================* *=======*: ,........................................, plop ./verify rev rev.2d