Member predicate Function::isNonConstructible
Holds if this function cannot be invoked using new
because it
is of the given kind
.
predicate isNonConstructible(string kind)
Holds if this function cannot be invoked using new
because it
is of the given kind
.
predicate isNonConstructible(string kind)