Branch type @on_overflow_branch

Direct supertypes

Indirect supertypes

Known direct subtypes