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() -> Option<()> {
    let n = 1;
    fun_name()?;
    let h = 1 + n;
    Some(())
}

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

fn main() {}