diff options
Diffstat (limited to 'src/spec_analysis.ml')
| -rw-r--r-- | src/spec_analysis.ml | 6 |
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]) -> |