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