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

module 0x1::DisableInv {
    struct R1 has key { }
    struct R2 has key { }

    fun foo(s: &signer) {
        move_to(s, R2 {});
    }
    spec foo {
        pragma disable_invariants_in_body;
    }

    spec module {
        invariant [suspendable] forall a: address where exists<R1>(a): exists<R2>(a);
    }
}