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

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

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

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

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

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

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

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

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

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