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 f() -> Option<()> {
    if true {
        fun_name()
    } else {
        None
    }
}

fn fun_name() -> _ {
    let a = if true { Some(())? } else { () };
    Some(a)
}

fn main() {}