Packages

object FormalAppln

Pattern matching for a formal application.

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

Value Members

  1. def apply[U <: Term with Subs[U], V <: Term with Subs[V]](fn: FuncLike[U, V], x: U): V
  2. def apply[U <: Term with Subs[U], V <: Term with Subs[V]](fn: Func[U, V], x: U): V
  3. def unapply(term: Term): Option[(Term, Term)]