Function nandoize::contracts::extract_effects

pub(crate) fn extract_effects(
    block: &Box<Block>
) -> Result<Vec<(String, Expr)>, Error>