「Z23」：修訂間差異

於 2023年8月3日 (四) 18:19 的修訂

此頁面以沒有JavaScript的方式顯示

@@ 第27行： / 第27行： @@
         "Z1K1": "Z32",
         "Z32K1": [
-            "Z31"
+            "Z31",
+            {
+                "Z1K1": "Z31",
+                "Z31K1": "Z1002",
+                "Z31K2": [
+                    "Z6",
+                    "Never",
+                    "Unreachable",
+                    "Uninhabited",
+                    "Bottom"
+                ]
+            }
         ]
     },