Function takeCount

src/compute-engine/library/collections.ts:3214–3222

(expr: Expression)

      isEmpty: (_expr) => {
        const int = interval(_expr);
        // Symbolic endpoints: emptiness is indeterminate
        if (!int) return undefined;
        // Bounds that cross contain nothing, whatever the endpoint markers
        // say: `(2, 1)` and `[2, 1]` are both empty. The previous form
        // answered this case from the marker pair alone and reported a
        // doubly-open reversed interval NON-empty.
        if (int.start > int.end) return true;
        // Bounds that coincide contain their single point only when BOTH
        // endpoints are closed: `[1, 1]` is {1} — and `contains(1)` says so —
        // while `(1, 1)`, `[1, 1)` and `(1, 1]` all exclude the only
        // candidate. The previous form reported `[1, 1]` empty, contradicting
        // its own `contains` handler.