diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2016-09-08 00:30:53 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2016-09-08 02:39:23 +0800 |
| commit | a98edb22e57ba497ba1ec675e47439089ce9e140 (patch) | |
| tree | a6a192f247ea2befb3beeee51ce7c5f7e9abf5f5 /docs | |
| parent | ce11580988b6aae22845fbebfb09eb9c3881b250 (diff) | |
| download | dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.tar dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.tar.gz dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.tar.bz2 dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.tar.lz dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.tar.xz dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.tar.zst dexon-solidity-a98edb22e57ba497ba1ec675e47439089ce9e140.zip | |
Add Address module in the WhyML prelude
In the `--formal` output, this commit adds a module called `Address`,
which defines the address type as unsigned integer type bounded at
2^160-1.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions