---
breaks: false
---

# krabcake internals

see also [krabcake goals and design](https://hackmd.io/gWsFYKaJS2GmNklP9O7WXg)

:::info
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.
:::