20. 基本类型🔗

Lean 包含许多编译器特别支持的内置类型。有些（例如 Nat）在内核中还具有特殊支持。其他类型本身没有特殊的编译器支持，但出于性能原因在重要方面依赖于类型的内部表示。