Tags: 0b10/mr-contract
Tags
Implement method contracts
Contracts
* Implement preconditions
* Implement postconditions
* Implement a contracts table - to hold arrays of contracts
* Make the decorator accept a key
* Wrap contracts in custom error types, inject thrown contract
message into custom error
Test
* The decorator works, and returns a result
* All related behaviours are defined, and usable
* preconditions - with and without args
* postcondition - with and without args
* postcondition result
Deps
* Include mr-params