diff options
| author | Kathy Gray | 2014-08-01 17:47:38 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-01 17:47:38 +0100 |
| commit | d08142bfe05ec33f43e3d42a92a4c7f21e3be954 (patch) | |
| tree | 9580d9a715cf4a78f68a476bf0d4dba0fabc43dd /src/initial_check.mli | |
| parent | 06b8c94efec32f81ee63031f2996563ecc45d00a (diff) | |
Support separated memory read/write functions.
Also allows register writing functions to be on the left hand side of an assignment in the same way.
The last parameter to a writing function is the value to be written, and should appear on the right hand side of an assignment expression.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions