Put None and Some into interpreter environments

Also making progress towards separating int sized things from integer sized things

1 files changed, 6 insertions, 0 deletions

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index 62b13d95..0c751c9b 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -66,6 +66,12 @@ let rec power_big_int b n =
   then unit_big_int
   else mult_big_int b (power_big_int b (sub_big_int n unit_big_int))
 
+let unpower_of_2 b =
+  let two = big_int_of_int 2 in
+  let four = big_int_of_int 4 in
+  let eight = big_int_of_int 8 in
+  ()
+
 let is_within_range candidate range constraints =
   match candidate.t with
   | Tapp("atom", [TA_nexp n]) ->