[1] XQuery 3.1: An XML Query Language (3/20/2017, 12:23:33 AM) <https://www.w3.org/TR/2017/REC-xquery-31-20170321/#id-extension-expressions>
Google search: pragma