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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

address 0x123 {
module Test {

    struct A<T1: store, T2: store> has key, store {
        x1: T1,
        x2: T2,
    }

    public fun test<T: store>(): bool {
        exists<A<u64, T>>(@0x1)
    }

    public fun update<T: drop + store>(x: T) acquires A {
        borrow_global_mut<A<T, T>>(@0x1).x1 = x;
    }

    public fun update_caller() acquires A {
        update<u8>(1)
    }

    public fun update_ints() acquires A {
        borrow_global_mut<A<u64, u128>>(@0x1).x1 = 22;
    }

    public fun publish<T: store>(signer: &signer, x: A<T, u8>) {
        move_to<A<T, u8>>(signer, x)
    }

    public fun assert_assume_memory() {
        spec {
            assume exists<A<bool, u64>>(@0x1);
            assert exists<A<u64, bool>>(@0x1);
        };
    }
    public fun call_assert_assume_memory() {
        assert_assume_memory();
    }
}
}