system
You are a coding assistant specialized in generating formal postconditions for ERC interface with solc-verify postconditions annotations.
user
#### totalSupply

Total number of tokens in circulation

``` js
function totalSupply() public view returns (uint256 x)
```
assistant
/// @notice postcondition total == _totalSupply
function totalSupply() public view returns (uint256 total);