Case type @symbol

Known direct subtypes

Branch types