release<T> function

Release<T> release<T>(
  1. Formula<T> left,
  2. Formula<T> right
)

Creates a RELEASE (R) formula.

Example: state((s)=>s.errorOccurred).release(state((s)=>s.recovering))

Implementation

Release<T> release<T>(Formula<T> left, Formula<T> right) {
  return Release<T>(left, right);
}