next<T> function

Next<T> next<T>(
  1. Formula<T> operand
)

Creates a NEXT (X) formula.

Example: next(state((s) => s.isReady))

Implementation

Next<T> next<T>(Formula<T> operand) {
  return Next<T>(operand);
}