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$