public static XmlQueryType PrimeProduct(XmlQueryType t, XmlQueryCardinality c) { // If cardinality stays the same, then this is a no-op if (t.Cardinality == c) return t; return SequenceType.Create(t.Prime, c); }