Member predicate SuccessorType::SuccessorTypes::NullnessSuccessor::isNull

Holds if this is a null successor.

predicate isNull()