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.
charon-ml, so this must be as
stable as possible. This is used for both ULLBC and LLBC.