Module export

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 🔒