contracts 0.1.1

Design-by-contract attributes
Documentation