Top型
数理論理学の$ \top
https://en.wikipedia.org/wiki/Top_type
全ての型の上位型 (supertype)となる型
任意の型Sに対して、S <: Topとなる
部分型 <: 上位型
S-Top
例
TypeScriptのany,unknown
https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-0.html#new-unknown-top-type
/mrsekut-book-4274069117/169
/mrsekut-book-4274069117/174 (15.4 Top型とBottom型)