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
18

trait I {
    fn inc(&mut self);
}
impl I for i32 {
    fn inc(&mut self) {
        *self += 1
    }
}
fn foo() {
    let mut n = 1;
    fun_name(n);
}

fn fun_name(mut n: i32) {
    n.inc();
}

fn main() {}