Member predicate SuccessorType::SuccessorTypes::NullnessSuccessor::toString

Gets a textual representation of successor type.

string toString()