Member predicate UserType::UserType::isLocal

Holds if this is a local type (that is, a type that has a directly-enclosing function).

predicate isLocal()