[saxon] Type promotion/checking in max()


Thread view