charon_lib::transform

Module ops_to_function_calls

source
Expand description

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§

Functions§