Packages

class AtomicSym extends AnySym

A constant symbol, so a name.

Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AtomicSym
  2. AnySym
  3. AnyRef
  4. 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 AtomicSym()

Value Members

  1. def subs(x: Term, y: Term): AtomicSym
    Definition Classes
    AtomicSymAnySym