Member predicate AbstractValues::IndefiniteAbstractValue::getType

Gets the type of some concrete value represented by this abstract value.

InferredType getType()