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

fn foo() -> Result<(), i64> {
    let n = 1;
    let m = fun_name()?;
    let h = 1 + m;
    Ok(())
}

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

fn main() {}