Dotty Documentation

0.1.1-bin-SNAPSHOT

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