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

// flag: --v2
module 0x42::Generics {

    spec module {
        pragma verify = true;
    }

    struct R<T> has key { x: T }

    fun remove<T: store>(a: address): R<T> acquires R {
        move_from<R<T>>(a)
    }
    spec remove {
        pragma opaque;
        include Remove<T>;
    }
    spec schema Remove<T> {
        a: address;
        modifies global<R<T>>(a);
        ensures !exists<R<T>>(a);
    }

    fun remove_u64(a: address): R<u64> acquires R {
        remove<u64>(a)
    }
    spec remove_u64 {
        include Remove<u64>;
    }
}