TC-4 Given Code
Some code is provided through the tc-base
repository, using the tag
2027-tc-4.0
.
For a description of the new module, see The src/ast Directory, The src/type Directory, additionally The src/object Directory, The src/astclone Directory, The src/desugar Directory.