Member predicate Variable :: isConstinit
Holds if this variable is declared constinit
.
predicate
isConstinit
(
)