Member predicate NullableDirective :: hasSuccNullableDirective
Holds if there is a succeeding #nullable
directive in the file.
predicate
hasSuccNullableDirective
(
)