cvlr-asserts 0.4.0

Asserts and assumes for post- and pre-conditions
Documentation