Saxonica.com

Conditional Type Assignment

Saxon supports Conditional Type Assignment, with the exception of the subsumption rules that check whether one type that uses CTA is a valid restriction of another type that uses CTA.

Next