krabcake internals

see also krabcake goals and design

Meta info: What is the goal of this document, and who is its audience?

Audience(s): people who need deep undertanding of the internals

• people who could contribute to this tool, and need guidance for how to do so.
• people designing/documenting the operational semantics of Rust may want to inspect the source code architecture of this tool as part of an ongoing dialogue between developers of Krabcake and the Rust T-opsem.