creusot
creusot copied to clipboard
Specify operations on `Option` that take closures
This is the second half of PR #504. Also adds ok_or
and ok_or_else
, which require some basic operations on Result
s to be specified before the test can be verified.