diff options
| author | Brian Campbell | 2017-10-24 15:42:19 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-24 15:42:19 +0100 |
| commit | 2bf92c9032b0186a18ab112d07bcd13ea025e637 (patch) | |
| tree | 51a80b02c96e07f6d1bcde877348b66fb3731ecc /src/test/lib/run_test_interp.ml | |
| parent | b4e85677dd5baf6dba2b67ad51192e101b5df5f9 (diff) | |
Print type annotations in Lem with type variables
(includes variables for bitvector sizes)
Diffstat (limited to 'src/test/lib/run_test_interp.ml')
0 files changed, 0 insertions, 0 deletions