Packages

object ExstFunc

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

Type Members

  1. case class Wrap[X <: Term with Subs[X], Y <: Term with Subs[Y]](func: FuncLike[X, Y]) extends ExstFunc with Product with Serializable

Value Members

  1. def apply[X <: Term with Subs[X], Y <: Term with Subs[Y]](fn: FuncLike[X, Y]): ExstFunc
  2. def opt(t: Term): Option[ExstFunc]
  3. case object GetFunc extends (ExstFunc) => Term with Product with Serializable