```{include} ../Readme.md
```

## API

```{eval-rst}
.. automodule:: design_by_contract
    :members: contract, UnresolvedSymbol, ContractViolationError, ContractLogicError
```