リダイレクト記号を使ってみる。 command codiag :: @1 T | @2 T -> T { when { 1 => pass, 2 => pass } };command diag :: T -> @1 T | @2 T { pass >in; randomint 1 2 >tag; %in | tagged %tag };command assoc :: @1 (@1 A | @2 B) | @2 C -> @1 A | @2 …

ストーンは、 State-Transition Oriented Network Element の略語のつもりだった。しかし、Webモジュールとかでいいかな。reQurst-Input, reSponse-Input, reQurst-Output, reSponse-Output の4つの面を持つ。面にはチャネルが付いていて、チャネルには名前…