Member predicate C11GenericExpr::isSelectedAssociation
Holds if the n
th element of the association list of the generic selection is the
one whose expression was selected.
For example, with e
of type int
and
_Generic(e, int: "a", default: "b")
this holds for 0.
predicate isSelectedAssociation(int n)