eventually<T> function

Eventually<T> eventually<T>(
  1. Formula<T> operand
)

Creates an EVENTUALLY (F) formula.

Example: eventually(state((s) => s.isComplete))

Implementation

Eventually<T> eventually<T>(Formula<T> operand) {
  return Eventually<T>(operand);
}