| changeset 52530 | 99dd8b4ef3fe |
| parent 43761 | e72ba84ae58f |
| child 52537 | 4b5941730bd8 |
| 52528:b6a224676c04 | 52530:99dd8b4ef3fe |
|---|---|
67 end; |
67 end; |
68 |
68 |
69 |
69 |
70 (* unique identifiers > 0 *) |
70 (* unique identifiers > 0 *) |
71 |
71 |
72 (*NB: ML ticks forwards, JVM ticks backwards*) |
|
72 fun counter () = |
73 fun counter () = |
73 let |
74 let |
74 val counter = var "counter" (0: int); |
75 val counter = var "counter" (0: int); |
75 fun next () = |
76 fun next () = |
76 change_result counter |
77 change_result counter |