charon_
lib
0.1.45
Module export
Module Items
Structs
Functions
In crate charon_
lib
charon_lib
Module
export
Copy item path
source
Structs
§
Crate
Data
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
🔒