Type @cil_event

Direct supertypes

Indirect supertypes

Known direct subtypes