「空型」(くうがた,void type)は,Cμ 標準型定義において o_t を指す。
all, no, void の発音,あるいは omni-,血液型の O 型 の合成。
'no_t' や 'x_t' という案もあったが,'no_t' では先頭の文字で数値系と紛らわしい。'x_t' では例示の「未知の型」と紛らわしいので没。
typedef では引数に使えないため,#define で定義している。
希哲12年4月20日,試験的に no_t へ移行。当面はこちらも使えるようにしておき,順次書き換えを進めていく。
OK の O は all から変化した。