diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-30 16:13:30 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-30 16:14:09 -0400 |
| commit | ed52d20599b1552995c4ad39f2cc6c09f0521e7c (patch) | |
| tree | 32182ad74b9c2913ef3de074e266bd930d7f5563 /src/Util/Notations.v | |
| parent | 445ff49ade0fd19c81d954f035394aae561d0958 (diff) | |
Rename Bounds to ZRange, use Prop, not bool
As per @andres-erbsen's comments at
https://github.com/mit-plv/fiat-crypto/commit/ba864554da71ebe20b2494b1e8adf04779cd904b#commitcomment-21565223,
https://github.com/mit-plv/fiat-crypto/commit/ba864554da71ebe20b2494b1e8adf04779cd904b#commitcomment-21565200
Diffstat (limited to 'src/Util/Notations.v')
0 files changed, 0 insertions, 0 deletions