diff options
| author | Jon French | 2018-05-16 15:44:19 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-16 15:44:19 +0100 |
| commit | a7563156f1ea9ca71c2d4cd0de4bad67f0f99b30 (patch) | |
| tree | 882c978f6e50369e8ddb0f4871755e9f33b4a715 /src/sail_lib.ml | |
| parent | e2d8fe4d847b6e8f71eecd7aa6d15799bd2a2e11 (diff) | |
Add support for inline val-spec declaration for mappings
This means that a mapping which formerly had to be pre-declared like
val name : a <-> b
...
mapping name {
x <-> y,
...
}
can now be shortened to
mapping name : a <-> b {
x <-> y,
...
}
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions