specifier (指定子)

指定子は定義に追加情報を適用します。 たとえば、関数定義の decides エフェクト指定子は、その関数を失敗する可能性があるものとマークします。