Modules§
- multi_
target - Merging multiple
CrateDatas from different compilation targets into one.
Structs§
- Charon
Version - 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.