diff options
| author | Jon French | 2018-11-14 11:10:30 +0000 |
|---|---|---|
| committer | Jon French | 2018-11-14 11:10:30 +0000 |
| commit | 9d2c973d97f10060344f623d8392f56a437b2d04 (patch) | |
| tree | 58dd6b6d6aeaba8d0d2419f1dae532833adbdd0b /src/gen_lib/sail2_string.lem | |
| parent | 0f9ed9beab182859821c0f0bf0de6c07cce7ab7d (diff) | |
interpreter: abstract effect requests into an Effect_request arm of frame type
Diffstat (limited to 'src/gen_lib/sail2_string.lem')
0 files changed, 0 insertions, 0 deletions