contracts v0.1.0 Contracts

Summary

Macros

def(definition, list)
ensures(post)
requires(pre)