diff options
| author | Kathy Gray | 2014-11-07 17:06:55 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-07 17:06:55 +0000 |
| commit | 4cb1d7ef1fbe429c6b04ea685e9c19b09a774263 (patch) | |
| tree | 1470e7e77993c2362de740eba4df130d99ef3cd1 /src/lem_interp/interp_interface.lem | |
| parent | 08a7d0de5e844ae8ad2d7027a4da87df054b2a28 (diff) | |
Add integer_of_byte_list : list word8 -> integer
Diffstat (limited to 'src/lem_interp/interp_interface.lem')
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index 2422ccc5..ee2107d6 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -232,6 +232,8 @@ type i_state_or_error = val num_to_bits : nat -> v_kind -> integer -> value +val integer_of_byte_list : list word8 -> integer + (** proposed: *) val nat_to_bytevector : nat -> list word8 |