This document lists the modules of CD Tools in groups with related or similar functionality. Module names link to the generated PlDoc documentation.
For background and explanation of terminology, e.g., D-term, compacted size (c-size), tree size (t-size), most general theorem (MGT) [aka principal type scheme], in-place theorem (IPT), n-simplification, ≥c (c-comparison), prime D-term, see [WB2021].