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 $lessinit$greater$default$1 : IdentityTypeMap.type
def $lessinit$greater$default$2 : Tree => Tree
def $lessinit$greater$default$3 : Nil.type
def $lessinit$greater$default$4 : Nil.type
def $lessinit$greater$default$5 : Nil.type
def $lessinit$greater$default$6 : Nil.type