The PHP Contracts library provides tools to prove the correctness of your code.

It is the successor to Phix's ContractLib.

Run this command to add this library to your composer.json file:

composer require ganbarodigital/php-mv-contracts

For full docs, see http://ganbarodigital.github.io/php-mv-contracts.