term

Term

object Term extends AnyRef

This object contains some helping functionality and type definitions for the Term class.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Term
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Type Members

  1. type F = String

    Also a function symbol is represented by a string.

  2. type V = String

    A variable is represented by a string.