Module export

Source

Structs§

CrateData
The data of a generic crate. We serialize this to pass it to charon-ml, so this must be as stable as possible. This is used for both ULLBC and LLBC.

Functions§

ensure_version 🔒