/*
// attsDeriv :: Context -> Pattern -> [AttributeNode] -> Pattern
// [implemented in RdpPattern]
internal static RdpPattern AttsDeriv (RdpPattern p, RdpAttributes attributes)
{
return p.AttsDeriv (attributes);
}
*/
// attDeriv :: Context -> Pattern -> AttributeNode -> Pattern
// [all implemented]
internal static RdpPattern AttDeriv (XmlReader reader,
RdpPattern p, string name, string ns, string value)
{
return p.AttDeriv (name, ns, value, reader);
}