When pattern matching there are two situations where a runtime type test must ... two given instances of types TypeTest[Nat, Zero] and TypeTest[Nat, Succ].
確定! 回上一頁