Finally, we realize that we're going to have a set of `bool dpm`s to start with, and we need to compose \[[Qx]] with them. We don't want any of the monadic values in the set that wrap `false` to become `true`; instead, we want to apply a filter that checks whether values that formerly wrapped `true` should still continue to do so.
- This is most easily done like this:
+ This could be handled like this:
fun entity_dpm ->
let eliminate_non_Qxs = fun truth_value ->
which is:
- fun truth_value ->
+ let eliminate_non_Qxs = fun truth_value ->
if truth_value
then unit_set (
- let eliminate_non_Qxs = fun (r, h) ->
+ fun (r, h) ->
let obj = List.nth h (r 'x')
let (a, r', h') = (obj, r, h)
in let u' = (fun e -> unit_dpm (Q e)) a