ApplyModule

Methods of the module object val Apply

Methods of the module object val Apply

class Object
trait Matchable
class Any

Value members

Abstract methods

def apply(fun: Term, args: List[Term]): Apply

Create a function application <fun: Term>(<args: List[Term]>)

Create a function application <fun: Term>(<args: List[Term]>)

def copy(original: Tree)(fun: Term, args: List[Term]): Apply
def unapply(x: Apply): (Term, List[Term])

Matches a function application <fun: Term>(<args: List[Term]>)

Matches a function application <fun: Term>(<args: List[Term]>)