Type @type_mention

Direct supertypes

Indirect supertypes

Known direct subtypes