Member predicate Type :: isInterface
Holds if this type is an interface.
predicate
isInterface
(
)