rem-extract 0.1.5

Providing extract method capability for the REM toolchain
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

fn bar() -> Option<i32> {
    None
}
fn foo() -> Option<()> {
    let n = bar()?;
    let m = fun_name()?;
    let h = 1 + m;
    Some(())
}

fn fun_name() -> Result<i32, _> {
    let k = foo()?;
    let m = k + 1;
    Ok(m)
}

fn main() {}