Member predicate CustomAbstractValueDefinitions::CustomAbstractValueFromDefinition::isIndefinite

Holds if this abstract value is an indefinite value arising from the incompleteness cause.

predicate isIndefinite(Incompleteness cause)