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