Viper Encoding

This chapter details how particular features of the Rust language are encoded into Viper.

• Types
  • Heap-based type encoding
  • Snapshot-based type encoding
• Pure function encoding
• Name mangling