Explore relationships

Top type

In type theory and computer science, type systems include a top, universal, or any type (often represented with the down tack (⊤) symbol), which includes all other types as subtypes.

Use + to expand a branch. Click a topic name to open its summary.