Source tools#

Format source, read diagnostics, and inspect the external behavior of checked functions.

1. Formatting
2. Diagnostics
3. Understanding effects