1
structure ROOT =
2
struct
3
4
structure Codegen =
5
6
7
fun double_inc k =
8
IntInf.+ ((IntInf.* ((2 : IntInf.int), k)), (1 : IntInf.int));
9
10
end; (*struct Codegen*)
11
12
end; (*struct ROOT*)