# `checkmate`

A tool to debug the solver (checker + inference + specialization engine).

See [the document](https://rwx.notion.site/Type-debugging-tools-de42260060784cacbaf08ea4d61e0eb9?pvs=4).