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

struct Counter {
    n: i32,
    m: i32,
}
fn foo() {
    let (n, k) = fun_name();
    let h = n + k;
}

fn fun_name() -> (i32, i32) {
    let Counter { n, m: k } = Counter { n: 1, m: 2 }(n, k);
}

fn main() {}