diff options
| author | Gabriel Kerneis | 2014-06-11 17:25:44 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-11 17:25:44 +0100 |
| commit | c969692853efb9848dc6ebd845bc3af1e3714399 (patch) | |
| tree | d47c07e139616ca394345d644a1561a9c69f1f26 /src/test/run_power.ml | |
| parent | 56b21140e8d9cd1247ea064b9ce3fdbe2f8b57ec (diff) | |
Equality between range and bit vector
The type-constraints are inspired from those for (+). They seem to work
but I am not sure they make sense.
The vector is interpreted as unsigned.
Diffstat (limited to 'src/test/run_power.ml')
0 files changed, 0 insertions, 0 deletions