charon_lib::transform

Module index_to_function_calls

source
Expand description

Desugar array/slice index operations to function calls.

Structsยง

  • Visitor ๐Ÿ”’
    Visitor to transform the operands by introducing intermediate let statements.