contracts 0.6.3

Design-by-contract attributes
Documentation