Packages

object Variable

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Variable
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def funcLikeVar[U <: Term with Subs[U], V <: Term with Subs[V]]: Variable[FuncLike[U, V]]
  2. implicit def funcVar[U <: Term with Subs[U], V <: Term with Subs[V]]: Variable[Func[U, V]]
  3. implicit object TermVar extends Variable[Term]
  4. implicit object TypVar extends Variable[Typ[Term]]