diff options
| author | Peter Sewell | 2014-11-23 00:13:46 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 00:13:46 +0000 |
| commit | 3a7f71003f35d88d41ad2b78a59b3cbb2058612c (patch) | |
| tree | 41e5ef57d81d04cfc92b910f5b2e327ca474678e | |
| parent | 879f4e8a56dd9abc31eb8af8445c5c3d4fc77de7 (diff) | |
wib
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 6fb9b713..e84cb358 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -406,6 +406,7 @@ val add_address_int : address -> int -> address val clear_low_order_bits_of_address : address -> address +val memory_value_length : memory_value -> integer (* coercions *) val integer_of_address : address -> integer |