ExtDef
scala.xml.dtd.ExtDef
case class ExtDef(extID: ExternalID) extends EntityDef
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass EntityDefclass Objecttrait Matchableclass Any
Members list
In this article