charon_driver::translate

Module translate_constants

Source
Expand description

Functions to translate constants to LLBC.