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