move-stackless-bytecode 0.3.2

Move stackless bytecode
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

module 0x42::Test {
    struct R {
        x: u64,
        s: S,
    }

    struct S {
        y: u64
    }

    spec R {
        invariant x > s.y;
    }

    spec S {
        invariant y > 0;
    }

    public fun test_pack() : R {
        let s = S {y: 1};
        let r = R {x: 3, s: s};
        r
    }
}