Function leqColNames

leqColNames(set1: ColNamesDomain, set2: ColNamesDomain): boolean
Checks if two abstract values of the column names domain are ordered according to the partial ordering of the column names lattice.
Parameters
- set1: ColNamesDomain
- set2: ColNamesDomain
Returns boolean
- Defined in src/abstract-interpretation/data-frame/domain.ts:64