Predicate signature InputSig::getFlowSummaryParameterPosition
Gets the parameter position corresponding to a flow-summary return kind rk, if any.
signature ParameterPosition getFlowSummaryParameterPosition(ReturnKind rk)Gets the parameter position corresponding to a flow-summary return kind rk, if any.
signature ParameterPosition getFlowSummaryParameterPosition(ReturnKind rk)