diff options
| -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 |