charon_lib

Module export

source

Structs§

  • 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§