Dotty Documentation

0.4.0-bin-SNAPSHOT

object TreeTypeMap
extends Object

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