Member predicate AbstractValues::NullValue::getDualValue

Gets an abstract value that represents the dual of this value, if any.