Function stateright::actor::model_timeout

pub fn model_timeout() -> Range<Duration>

The specific timeout value is not relevant for model checking, so this helper can be used to generate an arbitrary timeout range. The specific value is subject to change, so this helper must only be used for model checking.