until<T> function

Until<T> until<T>(
  1. Formula<T> left,
  2. Formula<T> right
)

Creates an UNTIL (U) formula.

Example: state((s)=>s.requesting).until(state((s)=>s.granted))

Implementation

Until<T> until<T>(Formula<T> left, Formula<T> right) {
  return Until<T>(left, right);
}