Function wideningDataFrames

wideningDataFrames(
value1: DataFrameDomain,
value2: DataFrameDomain,
): DataFrameDomain
Widens two abstract values of the data frame shape domain by widening the column names and number of columns and rows.
Parameters
- value1: DataFrameDomain
- value2: DataFrameDomain
Returns DataFrameDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:256