charon_
lib
0.1.49
Module index_
to_
function_
calls
Module Items
Structs
In charon_
lib::
transform
charon_lib
::
transform
Module
index_to_function_calls
Copy item path
source
Expand description
Desugar array/slice index operations to function calls.
Structs
ยง
Transform
Visitor
๐
Visitor to transform the operands by introducing intermediate let statements.