Contracts

Not implemented yet

Full contracts documentation is not written yet. requires / ensures exist as runtime checks only — there is no SMT proving.

Coming soon. See Limitations and the withdraw example on the homepage until this page lands.