Open luleyleo opened 1 year ago
See https://lib.rs/crates/contracts.
Extending contracts with returning eyre::Results would be nice (see https://github.com/mahf-opt/mahf/pull/178#discussion_r1249005762).
contracts
eyre::Result
See https://lib.rs/crates/contracts.