Z23: Unterschied zwischen den Versionen
+en description (could be better?) |
some more type theoric aliases |
||
Zeile 27: | Zeile 27: | ||
"Z1K1": "Z32", |
"Z1K1": "Z32", |
||
"Z32K1": [ |
"Z32K1": [ |
||
"Z31" |
"Z31", |
||
{ |
|||
"Z1K1": "Z31", |
|||
"Z31K1": "Z1002", |
|||
"Z31K2": [ |
|||
"Z6", |
|||
"Never", |
|||
"Unreachable", |
|||
"Uninhabited", |
|||
"Bottom" |
|||
] |
|||
} |
|||
] |
] |
||
}, |
}, |
Version vom 3. August 2023, 18:19 Uhr
Diese Seite wird ohne JavaScript nur in eingeschränkter Weise angezeigt.