NotationDecl

case class NotationDecl(name: String, extID: ExternalID) extends MarkupDecl

a notation declaration

trait Product
trait Equals
class Decl
class Object
trait Matchable
class Any

Value members

Concrete methods

Definition Classes

Inherited methods

Inherited from:
Product
override def toString(): String
Definition Classes
MarkupDecl -> Any
Inherited from:
MarkupDecl