hints/assignment_7_hint_6.mdwn

   1
   2 *       In def 3.1 on p. 14, GS&V define `s` updated with \[[not &phi;]] as:
   3
   4         >       { i &elem; s | i does not subsist in s[&phi;] }
   5
   6         where `i` *subsists* in <code>s[&phi;]</code> if there are any `i'` that *extend* `i` in <code>s[&phi;]</code>.
   7
   8         Here's how we can represent that:
   9
  10                 <pre><code>bind_set s (fun (r, h) ->
  11                         let u = unit_set (r, h)
  12                         in let descendents = u >>= \[[&phi;]]
  13                         in if descendents = empty_set then u else empty_set
  14                 </code></pre>
  15
  16