Function boogie_backend::add_prelude

source · 
pub fn add_prelude(
    env: &GlobalEnv,
    options: &BoogieOptions,
    writer: &CodeWriter
) -> Result<()>
Expand description

Adds the prelude to the generated output.