Member predicate Declaration::Declaration::hasName

Holds if this declaration has the given name.

predicate hasName(string name)