[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()|.