Marc Petit-Huguenin (2) [Avatar] Offline
In section 9.1 we have a rather logical progression: 9.1.1 shows why a first attempt at removeElem does not work, 9.1.2 describes the Elem type, 9.1.3 describes the new removeElem and 9.1.4 describes isElem, but we never get to see what is described in these last 3 sections together in action until section 14.3.5.

Perhaps a short explanation or a link to section 14.3.5 there would be useful.
Marc Petit-Huguenin (2) [Avatar] Offline
Never mind, I found it in section 9.2.4.