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