This member is added by an implicit conversion from HOLTermXMLExporter to
any2stringadd[HOLTermXMLExporter] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from HOLTermXMLExporter to
ArrowAssoc[HOLTermXMLExporter] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from HOLTermXMLExporter to
StringFormat[HOLTermXMLExporter] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from HOLTermXMLExporter to
ArrowAssoc[HOLTermXMLExporter] performed by method ArrowAssoc in scala.Predef.