Member predicate Type :: isVolatile
Holds if this type is volatile.
predicate
isVolatile
(
)