returns
Describes a situation when a function returns normally, without any exceptions thrown.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.
Describes a situation when a function returns normally with the specified return value.
The possible values of value are limited to true, false or null.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.