Module boogie_backend::bytecode_translator

This module translates the bytecode of a module to Boogie code.

Structs

• BoogieTranslator
• FunctionTranslator
• StructTranslator

Functions

• has_native_equality