Member predicate Declaration :: hasDefinition
Holds if the declaration has a definition.
predicate
hasDefinition
(
)