3. <pre><b>let p = </b>let/cc k (1,k) <b>in
let y = snd p (2, ident) in
(fst p, y)</b></pre>
- In the first line, we bind the continuation function (the bold code) to `k` and then bind the pair of `1` and that function to the variable `p`.
+ In the first line, we bind the continuation function (the bold code) to `k` and then bind the variable `p` to the pair of `1` and that function.
In the second line, we extract the continuation function from the pair `p` and apply it to the argument `(2, ident)`. That results in the following code being run:
<pre><b>let p = </b>(2, ident) <b>in
let y = snd p (2, ident) in