charon_driver::translate

Module translate_predicates

Source