On 2021-06-13 20:18 -0400, Wolfgang Corcoran-Mathe wrote:
> For fxmapping-map-either, I considered
> fxmapping-fork-map, which at least is less confusing than split-map
> or partition-map.

"fxmapping-partition-map" is now making a lot more sense to me, since
fxmapping-partition is a special case of this function:

      (fxmapping-partition p fxmap)
    ≡
      (fxmapping-partition-map (lambda (v ins-left ins-right)
                                 (if (p v) (ins-left v) (ins-right v)))
                               fxmap)

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"When are lurking loop instructions struck from structural inductions?"
--Conor McBride