charon_lib::transform

Module index_to_function_calls

source
Expand description

Desugar array/slice index operations to function calls.

Structs§

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