Expand description
Component type elaboration
This is a pretty direct port of the relevant sections of the OCaml reference interpreter, except that the approach to substitutions has been changed significantly. (Although the core capture-avoiding substitution routines are of course the same, the ways in which substitutions are represented/constructed are quite different; see substitute.rs for more details of the approach here).
Enumsยง
- Error
- Elaboration-specific errors