Member predicate Parameterizable::hasNoParameters

Holds if this declaration has no parameters.

predicate hasNoParameters()