They wouldn't be using the library code. They would just specify what have to be implemented based on the library. They have been doing this with all the libraries that they include in the standard (such as part of boost) and most of the time the resulted specification is way simpler and limited than the original inspiration. Also this is a design for implementation, once done each implementer have to decide how to make it real.