## Type

### Type

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