Chapter 3
The typed abstract syntax tree
This chapter describes the data structures used to represent
Moby
types and the typed abstract syntax tree (typed AST).