Member predicate SuccessorType::SuccessorTypes::NullnessSuccessor::matchesCompletion

Holds if this successor type matches completion c.

predicate matchesCompletion(Completion c)