3 (fn i
=> print (concat
[Int.toString (IntInf
.log2 i
), "\n"]))
19 if i
= IntInf
.log2 (IntInf
.pow (2, i
))
20 andalso i
= IntInf
.log2 (IntInf
.pow (2, i
) + 1)
21 andalso i
- 1 = IntInf
.log2 (IntInf
.pow (2, i
) - 1)
23 else raise Fail
"bug")
24 (List.tabulate (100, fn i
=> i
+ 1))