その他のコア言語仕様

この節では、コア言語に属する仕様のうち、他の節で記述しなかったものを記述する。

機能検査

available proceduremain プリミティブ演算と available primitive operationmain プリミティブ演算は、それぞれ、main 引数で指定されたベクトルに対応する手続きまたはプリミティブ演算が存在するかどうか調べる。

アサーション

assertmain プリミティブ演算は main 引数を取る。main 引数の値が真であれば、何もしない。main 引数の値がブーリアン型の false である場合の動作は実装により異なる。