charon_
lib
0.1.45
In charon_
lib::
transform::
ullbc_
to_
llbc
charon_lib
::
transform
::
ullbc_to_llbc
Function
translate_body_aux
Copy item path
source
fn translate_body_aux( no_code_duplication:
bool
, src_body: &
ExprBody
, ) ->
ExprBody