1signature POWERS2 = 2sig 3 val two6 : int 4 val two7 : int 5 val two8 : int 6 val two15 : int 7 val two16 : int 8 val two23 : int 9 val two24 : int 10 val two29 : int 11end (* signature POWERS2 *) 12(*----------*) 13 14structure Powers2: POWERS2 = 15struct 16 val two6 = 64 17 val two7 = 128 18 val two8 = 256 19 val two15 = two7 * two8 20 val two16 = two8 * two8 21 val two23 = two7 * two16 22 val two24 = two8 * two16 23 val two29 = two6 * two23 24end (* structure Powers2 *) 25