xml - Xquery err:XPST0017 函数 parse-json()

Question

我尝试在来自 eXist-db 的 eXide 中的 XQuery 中使用以下函数：

 let $x := parse-json(substring-before(substring-after($body,'('),');'))

但它给了我以下错误：

err:XPST0017函数parse-json()未在模块命名空间中定义：http://www.w3.org/2005/xpath-functions