Extension methods of Term
Term
A unary apply node with given argument: tree(arg)
tree(arg)
An apply node with given arguments: tree(arg, args0, ..., argsN)
tree(arg, args0, ..., argsN)
An apply node with given argument list tree(args(0), ..., args(args.length - 1))
tree(args(0), ..., args(args.length - 1))
The current tree applied to given argument lists: tree (argss(0)) ... (argss(argss.length -1))
tree (argss(0)) ... (argss(argss.length -1))
The current tree applied to (): tree()
tree()
The current tree applied to given type argument: tree[targ]
tree[targ]
The current tree applied to given type argument list: tree[targs(0), ..., targs(targs.length - 1)]
tree[targs(0), ..., targs(targs.length - 1)]
The current tree applied to given type arguments: tree[targ0, ..., targN]
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