contracts 0.5.1

Design-by-contract attributes
Documentation