| 1 | extern val tweak : int -> [Root]; |
| 2 | |
| 3 | extern val tickle : string -> A => Root; |
| 4 | extern val tackle : [A]; |
| 5 | extern val twitch : int -> [A]; |
| 6 | |
| 7 | tweak 42; |
| 8 | Choice = 19; |
| 9 | tickle "yourself" with |
| 10 | tackle; |
| 11 | tackle; |
| 12 | choice <- Choice; |
| 13 | twitch choice |
| 14 | end |