Member predicate Type::Type::isConst

Holds if this type is const.

predicate isConst()