[saxon] empty-sequence() type


Thread view