contracts

Contracts libray, a design by contract libray.