contract

A design by contract library