[basex-talk] Clarification on hof:until

Dear Basex team, today I was trying out hof:until with the code [1]. According to the documentation [2] it should behave like a sort of "do code until condition" and I'd expect it to return 1 but I get 0 instead thus it rather seems like a "until condition do code". Are my expectations wrong? Thanks, Marco. [1] declare function local:pred($res){ true() }; declare function local:loop($val){ $val + 1 }; hof:until(local:pred#1, local:loop#1, 0) [2] Applies the function|$f|to the initial value|$start|until the predicate|$pred|applied to the result returns|true()|.