/*
public override string ToString()
{
if (m_type != null)
return "TypeSig:" + m_type.ToString();
else
return "TypeSig:<unresolved>";
}
*/
// Dump as XML
public override void Dump(XmlWriter o)
{
o.WriteStartElement("TypeSig");
if (m_oeValue != null)
m_oeValue.Dump(o);
o.WriteEndElement();
}
