At some stage before we finally go to press, we need to decide what to do about the deep-equal2() function, which is currently in the XSLT 3.0 specification as a description of how we expect deep-equal to be enhanced to cater for maps.

I think the best approach is to drop the separate function name, and say instead something along the lines of "the fn:deep-equal function described is F+O 3.0 is modified to handle maps as follows:"