Packages

case object vacuousSym extends AtomicSym with Product with Serializable

Symbol for map 0 -> A

Linear Supertypes
Serializable, Product, Equals, AtomicSym, AnySym, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. vacuousSym
  2. Serializable
  3. Product
  4. Equals
  5. AtomicSym
  6. AnySym
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def productElementName(n: Int): String
    Definition Classes
    Product
  2. def productElementNames: Iterator[String]
    Definition Classes
    Product
  3. def subs(x: Term, y: Term): AtomicSym
    Definition Classes
    AtomicSymAnySym