Member predicate VariableTypeInference::AnalyzedVarDef::getAnRhsValue

Gets an abstract value that the right hand side of this VarDef may evaluate to.

AbstractValue getAnRhsValue()