Function wideningDataFrameStates

wideningDataFrameStates(
state1: DataFrameStateDomain,
state2: DataFrameStateDomain,
): DataFrameStateDomain
Widens two abstract states of the data frame shape state domain by widening each data frame shape of the states.
Parameters
- state1: DataFrameStateDomain
- state2: DataFrameStateDomain
Returns DataFrameStateDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:313