returnsNotNull
Describes a situation when a function returns normally with any value that is not null
.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.
Describes a situation when a function returns normally with any value that is not null
.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.
Thanks for your feedback!