eventually method
Creates an EVENTUALLY (Finally) operator for this formula.
F(this)
Implementation
Eventually<T> eventually() => Eventually<T>(this);
Creates an EVENTUALLY (Finally) operator for this formula.
F(this)
Eventually<T> eventually() => Eventually<T>(this);