「Z23」ぬ版間ぬ差分
+en description (could be better?) |
0xDeadbeef (ゆんたく | 貢献) some more type theoric aliases |
||
27行みー: | 27行みー: | ||
"Z1K1": "Z32", |
"Z1K1": "Z32", |
||
"Z32K1": [ |
"Z32K1": [ |
||
"Z31" |
"Z31", |
||
{ |
|||
"Z1K1": "Z31", |
|||
"Z31K1": "Z1002", |
|||
"Z31K2": [ |
|||
"Z6", |
|||
"Never", |
|||
"Unreachable", |
|||
"Uninhabited", |
|||
"Bottom" |
|||
] |
|||
} |
|||
] |
] |
||
}, |
}, |
18:19, 3 8月 2023なまぬ改訂
This page displays in a limited way without JavaScript.