Function joinDataFrames

joinDataFrames(...values: DataFrameDomain[]): DataFrameDomain
Joins multiple abstract values of the data frame shape domain by creating the least upper bound (LUB).
Parameters
- ...values: DataFrameDomain[]
Returns DataFrameDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:228