Case type @toplevel

Direct supertypes

Indirect supertypes

Known direct subtypes

Branch types