Module charon_lib::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 🔒