Module basic

Basic quantifiers such as forall, exists, none, exactly_one, and all_equal. These functions express simple logical evaluations over a single iterable.

Useful in validation, invariant checks, and test assertions.

Functions

all_equal

Checks if all elements are equal to each other.

exactly_n

Checks if exactly n elements in the iterator satisfy the predicate.

exactly_one

Checks if exactly one element satisfies the predicate.

exists

Checks if at least one element satisfies the predicate.

forall

Checks if all elements satisfy the predicate.

none

Checks if no element satisfies the predicate.