Branch type @other_header

Direct supertypes

Indirect supertypes

Known direct subtypes