Member predicate Declaration::hasDefinition

Holds if the declaration has a definition.

predicate hasDefinition()