Branch type @cil_and

Direct supertypes

Indirect supertypes

Known direct subtypes