Member predicate Type::isInterface

Holds if this type is an interface.

predicate isInterface()