Branch type @when_other_branch

Direct supertypes

Indirect supertypes

Known direct subtypes