Branch type @py_While

Direct supertypes

Indirect supertypes

Known direct subtypes