TermMethods

A unary apply node with given argument: tree(arg)

An apply node with given arguments: tree(arg, args0, ..., argsN)

An apply node with given argument list tree(args(0), ..., args(args.length - 1))

The current tree applied to given argument lists: tree (argss(0)) ... (argss(argss.length -1))

The current tree applied to (): tree()

The current tree applied to given type argument: tree[targ]

The current tree applied to given type argument list: tree[targs(0), ..., targs(targs.length - 1)]

The current tree applied to given type arguments: tree[targ0, ..., targN]

Converts a partally applied term into a lambda expression

A select node that selects the given symbol.

TypeRepr of this term

Replace Ident nodes references to the underlying tree that defined them

Replace Inlined nodes and InlineProxy references to underlying arguments