Branch type @cil_not

Direct supertypes

Indirect supertypes

Known direct subtypes