Member predicate TypeAnnotation :: isVoid
Holds if this is the void
type.
predicate
isVoid
(
)