From 4cb1d7ef1fbe429c6b04ea685e9c19b09a774263 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 7 Nov 2014 17:06:55 +0000
Subject: Add integer_of_byte_list : list word8 -> integer

---
 src/lem_interp/interp_interface.lem | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/lem_interp/interp_interface.lem')

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 
 
-- 
cgit v1.2.3