diff options
| author | Robert Norton | 2017-06-22 15:53:30 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-06-22 15:53:30 +0100 |
| commit | 60cf08670218f114539118d9e189509bb5f18695 (patch) | |
| tree | 356913cb36b899727b488588e027b1065c2f9f91 /src/gen_lib/sail_values_word.lem | |
| parent | ccbd64bf8f4223e1934d9f6d73e172c986e5563d (diff) | |
add a 'print' built-in function handy for writing sail tests.
Diffstat (limited to 'src/gen_lib/sail_values_word.lem')
0 files changed, 0 insertions, 0 deletions