簡易IDLで使う動詞

• throws もちろん、例外を投げる
• consults （管理下の）状態遷移系に対して問い合わせだけを発する
• operates （管理下の）状態遷移系に対して遷移を引き起こす
• emits イベントやメッセージを（管理外である）環境の外部に発行する

管理下とか管理外は環境＝システム境界がハッキリしないと定義できない。

function ensureUser :: userName:string -> boolean

   throws BadArg 

   consults UserDB  operates Logging ;