Module charon_lib::transform::ops_to_function_calls

Desugar some unary/binary operations and the array repeats to function calls. For instance, we desugar ArrayToSlice from an unop to a function call. This allows a more uniform treatment later on. TODO: actually transform all the unops and binops to function calls?

Structs

• Transform

Functions

• transform_st 🔒