weakUntil<T> function

WeakUntil<T> weakUntil<T>(
  1. Formula<T> left,
  2. Formula<T> right
)

Creates a WEAK UNTIL (W) formula.

Example: state((s)=>s.trying).weakUntil(state((s)=>s.succeeded))

Implementation

WeakUntil<T> weakUntil<T>(Formula<T> left, Formula<T> right) {
  return WeakUntil<T>(left, right);
}