☰
Module bytecode_translator
Structs
Functions
?
Module
boogie_backend
::
bytecode_translator
source
·
[
−
]
Expand description
This module translates the bytecode of a module to Boogie code.
Structs
BoogieTranslator
FunctionTranslator
StructTranslator
Functions
has_native_equality