Keep declared and refined function return types separate in FuncType#2716

ChristianGruen merged 2 commits into

BaseXdb:mainBaseXdb/basex:mainfrom

GuntherRademacher:refined-function-typeGuntherRademacher/basex:refined-function-typeCopy head branch name to clipboard