Member predicate UserType::UserType::hasName

predicate hasName(string name)