path: root/frontend/RWSDebug.dcl



definition module RWSDebug

(->>) :: !.a !.b -> .a
(<<-) :: .a !.b -> .a
<<->> :: !.a -> .a
definition module RWSDebug

(->>) :: !.a !.b -> .a
(<<-) :: .a !.b -> .a
<<->> :: !.a -> .a