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

struct Struct(i32);
trait Trait {
    fn bar(&self) -> i32;
}

impl Trait for Struct {
    fn bar(&self) -> i32 {
        self.fun_name()
    }
}

impl Struct {
    fn fun_name(&self) -> i32 {
        self.0 + 2
    }
}

fn main() {}