scala-xml/scala.xml.dtd/ExtDef

ExtDef

case class ExtDef(extID: ExternalID) extends EntityDef
trait Product
trait Equals
class EntityDef
class Object
trait Matchable
class Any

Value members

Concrete methods

override def buildString(sb: StringBuilder): StringBuilder
Definition Classes

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product