/// Creates a new module translator. Calls the stackless bytecode generator and wraps
/// result into the translator.
Creates a new module translator. Calls the stackless bytecode generator and wraps
result into the translator.
Creates a new module translator . Calls the stackless bytecode generator and wraps result into the translator .
fn new(parent: &'env BoogieTranslator, module: ModuleEnv<'env>) -> Self {
        Self {
            writer: parent.writer,
            options: parent.options,
            module_env: module,
            targets: &parent.targets,
            in_toplevel_verify: Default::default(),
        }
    }
fn new ( parent : & ' env BoogieTranslator , module : ModuleEnv < ' env > ) -> Self { Self { writer : parent . writer , options : parent . options , module_env : module , targets : & parent . targets , in_toplevel_verify : Default :: default ( ) , } }
Creates a new module translator.
Creates a new module translator .
parent
&'env BoogieTranslator
module
ModuleEnv<'env>