implies method

  1. @nonVirtual
Spec<T> implies(
  1. Spec<T> other
)

Combines this spec with other using implication logic.

The result is false only when this spec is satisfied and other is not. Evaluation short-circuits when this spec is not satisfied.

Implementation

@nonVirtual
Spec<T> implies(Spec<T> other) => ~this | other;