Module charon_lib::transform::index_to_function_calls

Desugar array/slice index operations to function calls.

Structs

• Transform
• Visitor 🔒
  Visitor to transform the operands by introducing intermediate let statements.