Union type @cil_leave_any

Direct supertypes

Indirect supertypes

Known direct subtypes

Component types