Packages

case class LeftProjSym(name: AnySym) extends AnySym with Product with Serializable

symbol for left component in pair from a given symbol

Linear Supertypes
Serializable, Product, Equals, AnySym, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LeftProjSym
  2. Serializable
  3. Product
  4. Equals
  5. AnySym
  6. AnyRef
  7. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new LeftProjSym(name: AnySym)

Value Members

  1. val name: AnySym
  2. def productElementNames: Iterator[String]
    Definition Classes
    Product
  3. def subs(x: Term, y: Term): LeftProjSym
    Definition Classes
    LeftProjSymAnySym
  4. def toString(): String
    Definition Classes
    LeftProjSym → AnyRef → Any