Predicate declaresMember
Holds if type t
declares member m
.
Import path
import java
predicate
declaresMember
(
Type
t
,
@member
m
)