===== Type =====
==== Type ====
$\mathrm{Type}$ ... the type of all other types under consideration. See [[Type theory]] for a longer discussion.

==== Parents ====
=== Related ===
[[Type theory]]