1. Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3. Top x y z u v 3 3 3

2. Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3 val _ = u := 42 Top x y z u v 3 3 3 42

3. Let val x = 3 val y = x val z = 3 val u = ref x val v = ref 3 val _ = u := 42 val _ = v := !u Top x y z u v 3 3 42

4. val a = (1, 2) val b = (a, a) val c = (42, ref b, a) Top a b c 42 1 2

5. val a = (1, 2) val b = (a, #2(a)) val c = (42, ref b, a) Top a b c 42 1 2 1

6. val a = (1, 2) val b = (a, #2(a)+5) val c = (42, ref b, a) Top a b c 42 7 1 2 1

7. val a = 2 val b = (a, a+5) Top a b 27

8. Let val s = BAR val t = BAZ 312 val u = QUX (42, ref 211, ref s) val v = nil val w = BAR :: s :: nil Top s t u u w 42 BAR BAZ 3 QUX 211 :: BAR :: nil

9. Val arr = Array.fromList([3, fn(x) => x+1]) 3 Top arr p: x p: x+1

10. Val x = [ref 1, ref 2, ref 3] Val a = hd x Val b = tl x Top a b x :: 1 23 nil