TermExpr

abstract def t: TypeExpr

final def !=(arg0: Any): Boolean

final def ##(): Int

def :@(terms: TermExpr*): TermExpr

Provide :@ syntax for term application with automatic alpha-conversion for type variables in the function head.

def :@@(otherTerm: TermExpr): TermExpr

final def ==(arg0: Any): Boolean

def =>:(y: VarE): TermExpr

def @@:(otherTerm: TermExpr): TermExpr

def andThen(otherTerm: TermExpr): TermExpr

Provide syntax for function composition.

def apply(terms: TermExpr*): TermExpr

def apply(acc: String): TermExpr

def apply(i: Int): TermExpr

final def asInstanceOf[T0]: T0

def cases(cases: TermExpr*): TermExpr

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def equiv(y: TermExpr): Boolean

def finalize(): Unit

lazy val freeVarNames: Seq[String]

lazy val freeVars: Set[VarE]

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

lazy val prettyPrint: String

lazy val prettyRename: TermExpr

lazy val prettyRenamePrint: String

def renameAllVars(oldAndNewNames: Map[String, String]): TermExpr

def renameAllVars(oldNames: Seq[String], newNames: Seq[String]): TermExpr

lazy val simplify: TermExpr

def substTypeVar(from: TermExpr, to: TermExpr): TermExpr

def substTypeVars(substitutions: Map[TP, TypeExpr]): TermExpr

final def synchronized[T0](arg0: ⇒ T0): T0

lazy val toString: String

lazy val usedVarNames: Seq[String]

def varCount(varName: String): Int

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit