Function kleeneAnd

src/compute-engine/library/sets.ts:109–116

* Kleene three-valued AND: `false` as soon as any value is `false`, `true` * only when every value is `true`, `undefined` otherwise.

(values: Iterable<boolean | undefined>)

 * handlers, which report the same two facts to the rest of the engine.
 */
function numberSetSubsetOf(
  name: string,
  elementType: Type,
  sign?: Sign
): (
  collection: Expression,
  other: Expression,
  strict: boolean
) => boolean | undefined {
  return typeSaturatedSubsetOf(
    declareTypeSaturatedSet(name, { elementType, sign })