Case type @type

Known direct subtypes

Branch types