Function meetDataFrames

meetDataFrames(...values: DataFrameDomain[]): DataFrameDomain
Meets multiple abstract values of the data frame shape domain by creating the greatest lower bound (GLB).
Parameters
- ...values: DataFrameDomain[]
Returns DataFrameDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:242