Appendix C.1, describing the static context, fails to mention that the in-scope function signatures also includes constructor functions for user-defined atomic types in an imported schema. These are described in section 3.12.5.
On the row for 'function signatures', under "Can be overwritten or augmented by a query?", after "augmentable by module import" we could insert ", by schema import," (Ditto in appendix C.2.) However, people will wonder how a schema import can add functions, so we might also want to say something in 4.10 Schema Import. E.g.: Also, for each user-defined atomic type (if any) in the schema, it [the schema import] adds a constructor function [see 3.12.5] to the 'function signatures' and 'function implementations'.
*** Bug 6717 has been marked as a duplicate of this bug. ***
In their teleconference of 2009-03-17, the WGs accepted the proposal in comment 1. Consequently, I am marking this bug RESOLVED/FIXED. Because you were present and in agreement with the decision, I presume that you will be comfortable that I am also marking it CLOSED.