final object TreeTypeMap

A map that applies three functions and a substitution together to a tree and makes sure they are coordinated so that the result is well-typed. The functions are

Constructors

Members

[+] def $default$1 : IdentityTypeMap$
[+] def $default$2 : Tree => Tree
[+] def $default$3 : Nil$
[+] def $default$4 : Nil$
[+] def $default$5 : Nil$
[+] def $default$6 : Nil$