// startTagCloseDeriv :: Pattern -> Pattern
// [implemented]
internal static RdpPattern StartTagCloseDeriv (RdpPattern p)
{
return p.StartTagCloseDeriv ();
}
public RdpPattern StartTagCloseDeriv (RdpPattern p)
{
RdpPattern m = startClose [p] as RdpPattern;
if (m != null)
return m;
m = p.StartTagCloseDeriv (this);
startClose [p] = m;
return m;
}
