[basex-talk] annotations in function-declarations