diff options
| author | Brian Campbell | 2018-05-23 17:01:36 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-23 17:54:43 +0100 |
| commit | 78950fc508dfba3526cb070547db9cfaa436931e (patch) | |
| tree | 6917d6ca1f9da6602e5d14a760329666d4bdfd3a /test/builtins/unsigned1.sail | |
| parent | 28256ae0215b4fd1fefebf24f6b5dd3516fa8fcf (diff) | |
Coq: Implement the most basic merging of type- and term-level parameters
Diffstat (limited to 'test/builtins/unsigned1.sail')
0 files changed, 0 insertions, 0 deletions