scilla-parser 2.0.0

Scilla smart contract parser written in Rust
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

scilla_version 0
(***************************************************)
(*               Basic setter and getter           *)
(***************************************************)
contract CallTransition
()

transition call_uint32(v : Uint32)
end

transition call_uint64(v : Uint64)
end

transition call_uint128(v : Uint128)
end

transition call_uint256(v : Uint256)
end

transition call_int32(v : Int32)
end

transition call_int64(v : Int64)
end

transition call_int128(v : Int128)
end

transition call_string(v : String)
end

transition call_address(v : ByStr20)
end

transition call_option_bool(v : (Option Bool))
end

transition call_bool(v : Bool)
end

transition call_bnum(v : BNum)
end

transition call_pair(v : Pair String Uint32)
end

transition call_list(v : List ByStr20)
end

transition call_list_2(v: (List (Pair ByStr20 (List (Pair ByStr20 Uint32)))))
end

transition call_list_3(v: (List (Pair String String)))
end

transition call_list_4(v: (List (Pair ByStr20 (List (Pair ByStr20 (List (Pair Uint32 Uint128)))))))
end

transition call_list_5(v: (List (Pair ByStr20 (List (Pair BNum Uint128)))))
end