generated at
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型)