liveness v1.0.0 API Reference

Exceptions

Liveness offers the eventually higher-order function, which can be used to specify liveness properties, or to busy-wait for a particular condition.