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