diff options
| author | Brian Campbell | 2019-05-19 18:39:56 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-19 18:40:26 +0100 |
| commit | e083553d9e10cc59caaff34635f9e9fd7193cad4 (patch) | |
| tree | f1856b04015d44a99ae439f28bedca7296387b65 /src/pattern_completeness.ml | |
| parent | baf7c57218b37618c5ede4ec72d3c79e9c14cd51 (diff) | |
Coq: add signed bitvector to integer function that doesn't need >0 constraint
Diffstat (limited to 'src/pattern_completeness.ml')
0 files changed, 0 insertions, 0 deletions