This is the API documentation for design_by_contract-0.2.0 Documentation.