tx · 3aL4sNQtRDQm5cYR4wgada7tYxwLWQ97aXGFP2qoo9H8 3N13KQpdY3UU7JkWUBD9kN7t7xuUgeyYMTT: -0.00500000 Waves 2023.07.03 16:50 [2649811] smart account 3N13KQpdY3UU7JkWUBD9kN7t7xuUgeyYMTT > SELF 0.00000000 Waves
{ "type": 13, "id": "3aL4sNQtRDQm5cYR4wgada7tYxwLWQ97aXGFP2qoo9H8", "fee": 500000, "feeAssetId": null, "timestamp": 1688392272962, "version": 1, "sender": "3N13KQpdY3UU7JkWUBD9kN7t7xuUgeyYMTT", "senderPublicKey": "HmygqMrDfZtwU85YLdzAEnJ2Gv1qZ1z37iRQDFn873kv", "proofs": [ "36UFzoiedCFEndxoFCXYc5uem5nqyBahkmHLkTywumQHW1Gs5WMLjd83ts98o5WGTTA5TnSt9D8Wv6icVVgH7HeT" ], "script": "base64:BgINCAISBAoCAgESAwoBCCEAA1NFUAICX18AEGNvbnRyYWN0RmlsZW5hbWUCDXRyZWFzdXJ5LnJpZGUAD0FETUlOX0xJU1RfU0laRQAFAAZRVU9SVU0AAwARVFhJRF9CWVRFU19MRU5HVEgAIAEHd3JhcEVycgEBcwkArAICCQCsAgIFEGNvbnRyYWN0RmlsZW5hbWUCAjogBQFzAQh0aHJvd0VycgEBcwkAAgEJAQd3cmFwRXJyAQUBcwEYa2V5QWxsb3dlZFR4SWRWb3RlUHJlZml4AQR0eElkCQC5CQIJAMwIAgIGJXMlcyVzCQDMCAICCWFsbG93VHhJZAkAzAgCBQR0eElkBQNuaWwFA1NFUAEQa2V5RnVsbEFkbWluVm90ZQIGcHJlZml4DGFkbWluQWRkcmVzcwkAuQkCCQDMCAIFBnByZWZpeAkAzAgCBQxhZG1pbkFkZHJlc3MFA25pbAUDU0VQARNrZXlBZG1pbkFkZHJlc3NMaXN0AAkAuQkCCQDMCAICAiVzCQDMCAICEGFkbWluQWRkcmVzc0xpc3QFA25pbAUDU0VQARFrZXlGYWN0b3J5QWRkcmVzcwAJALkJAgkAzAgCAgIlcwkAzAgCAgdmYWN0b3J5BQNuaWwFA1NFUAEOa2V5QWxsb3dlZFR4SWQACQC5CQIJAMwIAgICJXMJAMwIAgIEdHhJZAUDbmlsBQNTRVABEGtleUNvbmZpZ0FkZHJlc3MAAgolc19fY29uZmlnARZrZXlWb3RpbmdSZXN1bHRBZGRyZXNzAAIWY29udHJhY3Rfdm90aW5nX3Jlc3VsdAEZa2V5UHJvcG9zYWxBbGxvd0Jyb2FkY2FzdAIHYWRkcmVzcwR0eElkCQCsAgIJAKwCAgkArAICAhlwcm9wb3NhbF9hbGxvd19icm9hZGNhc3RfCQClCAEFB2FkZHJlc3MCAV8JANgEAQUEdHhJZAATY29uZmlnQWRkcmVzc09wdGlvbgQHJG1hdGNoMAkAnQgCBQR0aGlzCQEQa2V5Q29uZmlnQWRkcmVzcwADCQABAgUHJG1hdGNoMAIGU3RyaW5nBAFzBQckbWF0Y2gwCQCmCAEFAXMDCQABAgUHJG1hdGNoMAIEVW5pdAUEdW5pdAkAAgECC01hdGNoIGVycm9yAA1jb25maWdBZGRyZXNzCQETdmFsdWVPckVycm9yTWVzc2FnZQIFE2NvbmZpZ0FkZHJlc3NPcHRpb24JAQd3cmFwRXJyAQIWaW52YWxpZCBjb25maWcgYWRkcmVzcwAUZmFjdG9yeUFkZHJlc3NPcHRpb24EByRtYXRjaDAJAJ0IAgUEdGhpcwkBEWtleUZhY3RvcnlBZGRyZXNzAAMJAAECBQckbWF0Y2gwAgZTdHJpbmcEAXMFByRtYXRjaDAJAKYIAQUBcwMJAAECBQckbWF0Y2gwAgRVbml0BQR1bml0CQACAQILTWF0Y2ggZXJyb3IAFGZhY3RvcnlBZGRyZXNzT3JGYWlsCQETdmFsdWVPckVycm9yTWVzc2FnZQIFFGZhY3RvcnlBZGRyZXNzT3B0aW9uCQEHd3JhcEVycgECF2ludmFsaWQgZmFjdG9yeSBhZGRyZXNzABp2b3RpbmdSZXN1bHRDb250cmFjdE9wdGlvbgQHJG1hdGNoMAUTY29uZmlnQWRkcmVzc09wdGlvbgMJAAECBQckbWF0Y2gwAgdBZGRyZXNzBAFhBQckbWF0Y2gwBAckbWF0Y2gxCQCdCAIFAWEJARZrZXlWb3RpbmdSZXN1bHRBZGRyZXNzAAMJAAECBQckbWF0Y2gxAgZTdHJpbmcEAXMFByRtYXRjaDEJAKYIAQUBcwMJAAECBQckbWF0Y2gxAgRVbml0BQR1bml0CQACAQILTWF0Y2ggZXJyb3IDCQABAgUHJG1hdGNoMAIEVW5pdAUEdW5pdAkAAgECC01hdGNoIGVycm9yABR2b3RpbmdSZXN1bHRDb250cmFjdAkBE3ZhbHVlT3JFcnJvck1lc3NhZ2UCBRp2b3RpbmdSZXN1bHRDb250cmFjdE9wdGlvbgkBB3dyYXBFcnIBAh1pbnZhbGlkIHZvdGluZyByZXN1bHQgYWRkcmVzcwELb25seUFkZHJlc3MCAWkHYWRkcmVzcwMJAAACCAUBaQZjYWxsZXIFB2FkZHJlc3MGCQEIdGhyb3dFcnIBAhFwZXJtaXNzaW9uIGRlbmllZAELb25seUZhY3RvcnkBAWkJAQtvbmx5QWRkcmVzcwIFAWkFFGZhY3RvcnlBZGRyZXNzT3JGYWlsAQxnZXRBZG1pblZvdGUCBnByZWZpeAVhZG1pbgQHdm90ZUtleQkBEGtleUZ1bGxBZG1pblZvdGUCBQZwcmVmaXgFBWFkbWluCQELdmFsdWVPckVsc2UCCQCfCAEFB3ZvdGVLZXkAAAENZ2V0QWRtaW5zTGlzdAAEByRtYXRjaDAJAJ0IAgUEdGhpcwkBE2tleUFkbWluQWRkcmVzc0xpc3QAAwkAAQIFByRtYXRjaDACBlN0cmluZwQBcwUHJG1hdGNoMAkAtQkCBQFzBQNTRVAFA25pbAENaXNJbkFkbWluTGlzdAEHYWRkcmVzcwkBD2NvbnRhaW5zRWxlbWVudAIJAQ1nZXRBZG1pbnNMaXN0AAUHYWRkcmVzcwESZ2VuVm90ZXNLZXlzSGVscGVyAgFhDGFkbWluQWRkcmVzcwQLJHQwMjUzOTI1NjMFAWEEBnJlc3VsdAgFCyR0MDI1MzkyNTYzAl8xBAZwcmVmaXgIBQskdDAyNTM5MjU2MwJfMgkAlAoCCQDNCAIFBnJlc3VsdAkBEGtleUZ1bGxBZG1pblZvdGUCBQZwcmVmaXgFDGFkbWluQWRkcmVzcwUGcHJlZml4AQxnZW5Wb3Rlc0tleXMBCWtleVByZWZpeAQJYWRtaW5MaXN0CQETa2V5QWRtaW5BZGRyZXNzTGlzdAAECyR0MDI3MTAyNzk0CgACJGwJAQ1nZXRBZG1pbnNMaXN0AAoAAiRzCQCQAwEFAiRsCgAFJGFjYzAJAJQKAgUDbmlsBQlrZXlQcmVmaXgKAQUkZjBfMQICJGECJGkDCQBnAgUCJGkFAiRzBQIkYQkBEmdlblZvdGVzS2V5c0hlbHBlcgIFAiRhCQCRAwIFAiRsBQIkaQoBBSRmMF8yAgIkYQIkaQMJAGcCBQIkaQUCJHMFAiRhCQACAQITTGlzdCBzaXplIGV4Y2VlZHMgNQkBBSRmMF8yAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgkBBSRmMF8xAgUFJGFjYzAAAAABAAIAAwAEAAUEBnJlc3VsdAgFCyR0MDI3MTAyNzk0Al8xBAZwcmVmaXgIBQskdDAyNzEwMjc5NAJfMgUGcmVzdWx0ARBjb3VudFZvdGVzSGVscGVyAgZyZXN1bHQHdm90ZUtleQkAZAIFBnJlc3VsdAkBC3ZhbHVlT3JFbHNlAgkAnwgBBQd2b3RlS2V5AAABCmNvdW50Vm90ZXMBBnByZWZpeAQFdm90ZXMJAQxnZW5Wb3Rlc0tleXMBBQZwcmVmaXgKAAIkbAUFdm90ZXMKAAIkcwkAkAMBBQIkbAoABSRhY2MwAAAKAQUkZjBfMQICJGECJGkDCQBnAgUCJGkFAiRzBQIkYQkBEGNvdW50Vm90ZXNIZWxwZXICBQIkYQkAkQMCBQIkbAUCJGkKAQUkZjBfMgICJGECJGkDCQBnAgUCJGkFAiRzBQIkYQkAAgECE0xpc3Qgc2l6ZSBleGNlZWRzIDUJAQUkZjBfMgIJAQUkZjBfMQIJAQUkZjBfMQIJAQUkZjBfMQIJAQUkZjBfMQIJAQUkZjBfMQIFBSRhY2MwAAAAAQACAAMABAAFARBjbGVhclZvdGVzSGVscGVyAgZyZXN1bHQDa2V5CQDNCAIFBnJlc3VsdAkBC0RlbGV0ZUVudHJ5AQUDa2V5ARNnZXRDbGVhclZvdGVFbnRyaWVzAQZwcmVmaXgEBXZvdGVzCQEMZ2VuVm90ZXNLZXlzAQUGcHJlZml4CgACJGwFBXZvdGVzCgACJHMJAJADAQUCJGwKAAUkYWNjMAUDbmlsCgEFJGYwXzECAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJARBjbGVhclZvdGVzSGVscGVyAgUCJGEJAJEDAgUCJGwFAiRpCgEFJGYwXzICAiRhAiRpAwkAZwIFAiRpBQIkcwUCJGEJAAIBAhNMaXN0IHNpemUgZXhjZWVkcyA1CQEFJGYwXzICCQEFJGYwXzECCQEFJGYwXzECCQEFJGYwXzECCQEFJGYwXzECCQEFJGYwXzECBQUkYWNjMAAAAAEAAgADAAQABQEMdm90ZUlOVEVSTkFMBBNjYWxsZXJBZGRyZXNzU3RyaW5nCWtleVByZWZpeAhtaW5Wb3Rlcwp2b3RlUmVzdWx0BAd2b3RlS2V5CQEQa2V5RnVsbEFkbWluVm90ZQIFCWtleVByZWZpeAUTY2FsbGVyQWRkcmVzc1N0cmluZwQQYWRtaW5DdXJyZW50Vm90ZQkBDGdldEFkbWluVm90ZQIFCWtleVByZWZpeAUTY2FsbGVyQWRkcmVzc1N0cmluZwQDZXJyAwkBASEBCQENaXNJbkFkbWluTGlzdAEFE2NhbGxlckFkZHJlc3NTdHJpbmcJAQh0aHJvd0VycgEJAKwCAgkArAICAglBZGRyZXNzOiAFE2NhbGxlckFkZHJlc3NTdHJpbmcCEiBub3QgaW4gQWRtaW4gbGlzdAMJAAACBRBhZG1pbkN1cnJlbnRWb3RlAAEJAQh0aHJvd0VycgEJAKwCAgUHdm90ZUtleQISIHlvdSBhbHJlYWR5IHZvdGVkBQR1bml0AwkAAAIFA2VycgUDZXJyBAV2b3RlcwkBCmNvdW50Vm90ZXMBBQlrZXlQcmVmaXgDCQBnAgkAZAIFBXZvdGVzAAEFCG1pblZvdGVzBBBjbGVhclZvdGVFbnRyaWVzCQETZ2V0Q2xlYXJWb3RlRW50cmllcwEFCWtleVByZWZpeAkAzggCBRBjbGVhclZvdGVFbnRyaWVzBQp2b3RlUmVzdWx0CQDMCAIJAQxJbnRlZ2VyRW50cnkCBQd2b3RlS2V5AAEFA25pbAkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgIBaQENdHJhbnNmZXJXYXZlcwIOcmVjaXBpZW50Qnl0ZXMGYW1vdW50BAtjaGVja0NhbGxlcgkBC29ubHlGYWN0b3J5AQUBaQMJAAACBQtjaGVja0NhbGxlcgULY2hlY2tDYWxsZXIJAMwIAgkBDlNjcmlwdFRyYW5zZmVyAwkBB0FkZHJlc3MBBQ5yZWNpcGllbnRCeXRlcwUGYW1vdW50BQR1bml0BQNuaWwJAAIBAiRTdHJpY3QgdmFsdWUgaXMgbm90IGVxdWFsIHRvIGl0c2VsZi4BaQELdm90ZUZvclR4SWQBBHR4SWQEE2NhbGxlckFkZHJlc3NTdHJpbmcJANgEAQgIBQFpBmNhbGxlcgVieXRlcwQJa2V5UHJlZml4CQEYa2V5QWxsb3dlZFR4SWRWb3RlUHJlZml4AQUEdHhJZAQGcmVzdWx0CQDMCAIJAQtTdHJpbmdFbnRyeQIJAQ5rZXlBbGxvd2VkVHhJZAAFBHR4SWQFA25pbAQRYWxsb3dlZFR4SWRPcHRpb24JAJ0IAgUEdGhpcwkBDmtleUFsbG93ZWRUeElkAAQDZXJyCQDMCAIDCQAAAgkAyAEBCQDZBAEFBHR4SWQFEVRYSURfQllURVNfTEVOR1RIBgkBCHRocm93RXJyAQkArAICBQR0eElkAhIgaXMgbm90IHZhbGlkIHR4SWQJAMwIAgMDCQAAAgURYWxsb3dlZFR4SWRPcHRpb24FBHVuaXQGCQECIT0CCQEFdmFsdWUBBRFhbGxvd2VkVHhJZE9wdGlvbgUEdHhJZAYJAQh0aHJvd0VycgEJAKwCAgUEdHhJZAITIGlzIGFscmVhZHkgYWxsb3dlZAUDbmlsAwkAAAIFA2VycgUDZXJyCQEMdm90ZUlOVEVSTkFMBAUTY2FsbGVyQWRkcmVzc1N0cmluZwUJa2V5UHJlZml4BQZRVU9SVU0FBnJlc3VsdAkAAgECJFN0cmljdCB2YWx1ZSBpcyBub3QgZXF1YWwgdG8gaXRzZWxmLgAtGDey", "chainId": 84, "height": 2649811, "applicationStatus": "succeeded", "spentComplexity": 0 } View: original | compacted Prev: none Next: Hxv3s35dPuYmcjBKrT3JtnHZ9phhoPfEtggfbAzr5zYi Full:
Old | New | Differences | |
---|---|---|---|
1 | - | # no script | |
1 | + | {-# STDLIB_VERSION 6 #-} | |
2 | + | {-# SCRIPT_TYPE ACCOUNT #-} | |
3 | + | {-# CONTENT_TYPE DAPP #-} | |
4 | + | let a = "__" | |
5 | + | ||
6 | + | let b = "treasury.ride" | |
7 | + | ||
8 | + | let c = 5 | |
9 | + | ||
10 | + | let d = 3 | |
11 | + | ||
12 | + | let e = 32 | |
13 | + | ||
14 | + | func f (g) = ((b + ": ") + g) | |
15 | + | ||
16 | + | ||
17 | + | func h (g) = throw(f(g)) | |
18 | + | ||
19 | + | ||
20 | + | func i (j) = makeString(["%s%s%s", "allowTxId", j], a) | |
21 | + | ||
22 | + | ||
23 | + | func k (l,m) = makeString([l, m], a) | |
24 | + | ||
25 | + | ||
26 | + | func n () = makeString(["%s", "adminAddressList"], a) | |
27 | + | ||
28 | + | ||
29 | + | func o () = makeString(["%s", "factory"], a) | |
30 | + | ||
31 | + | ||
32 | + | func p () = makeString(["%s", "txId"], a) | |
33 | + | ||
34 | + | ||
35 | + | func q () = "%s__config" | |
36 | + | ||
37 | + | ||
38 | + | func r () = "contract_voting_result" | |
39 | + | ||
40 | + | ||
41 | + | func s (t,j) = ((("proposal_allow_broadcast_" + toString(t)) + "_") + toBase58String(j)) | |
42 | + | ||
43 | + | ||
44 | + | let u = { | |
45 | + | let v = getString(this, q()) | |
46 | + | if ($isInstanceOf(v, "String")) | |
47 | + | then { | |
48 | + | let g = v | |
49 | + | addressFromString(g) | |
50 | + | } | |
51 | + | else if ($isInstanceOf(v, "Unit")) | |
52 | + | then unit | |
53 | + | else throw("Match error") | |
54 | + | } | |
55 | + | ||
56 | + | let w = valueOrErrorMessage(u, f("invalid config address")) | |
57 | + | ||
58 | + | let x = { | |
59 | + | let v = getString(this, o()) | |
60 | + | if ($isInstanceOf(v, "String")) | |
61 | + | then { | |
62 | + | let g = v | |
63 | + | addressFromString(g) | |
64 | + | } | |
65 | + | else if ($isInstanceOf(v, "Unit")) | |
66 | + | then unit | |
67 | + | else throw("Match error") | |
68 | + | } | |
69 | + | ||
70 | + | let y = valueOrErrorMessage(x, f("invalid factory address")) | |
71 | + | ||
72 | + | let z = { | |
73 | + | let v = u | |
74 | + | if ($isInstanceOf(v, "Address")) | |
75 | + | then { | |
76 | + | let A = v | |
77 | + | let B = getString(A, r()) | |
78 | + | if ($isInstanceOf(B, "String")) | |
79 | + | then { | |
80 | + | let g = B | |
81 | + | addressFromString(g) | |
82 | + | } | |
83 | + | else if ($isInstanceOf(B, "Unit")) | |
84 | + | then unit | |
85 | + | else throw("Match error") | |
86 | + | } | |
87 | + | else if ($isInstanceOf(v, "Unit")) | |
88 | + | then unit | |
89 | + | else throw("Match error") | |
90 | + | } | |
91 | + | ||
92 | + | let C = valueOrErrorMessage(z, f("invalid voting result address")) | |
93 | + | ||
94 | + | func D (E,t) = if ((E.caller == t)) | |
95 | + | then true | |
96 | + | else h("permission denied") | |
97 | + | ||
98 | + | ||
99 | + | func F (E) = D(E, y) | |
100 | + | ||
101 | + | ||
102 | + | func G (l,H) = { | |
103 | + | let I = k(l, H) | |
104 | + | valueOrElse(getInteger(I), 0) | |
105 | + | } | |
106 | + | ||
107 | + | ||
108 | + | func J () = { | |
109 | + | let v = getString(this, n()) | |
110 | + | if ($isInstanceOf(v, "String")) | |
111 | + | then { | |
112 | + | let g = v | |
113 | + | split(g, a) | |
114 | + | } | |
115 | + | else nil | |
116 | + | } | |
117 | + | ||
118 | + | ||
119 | + | func K (t) = containsElement(J(), t) | |
120 | + | ||
121 | + | ||
122 | + | func L (A,m) = { | |
123 | + | let M = A | |
124 | + | let N = M._1 | |
125 | + | let l = M._2 | |
126 | + | $Tuple2((N :+ k(l, m)), l) | |
127 | + | } | |
128 | + | ||
129 | + | ||
130 | + | func O (P) = { | |
131 | + | let Q = n() | |
132 | + | let R = { | |
133 | + | let S = J() | |
134 | + | let T = size(S) | |
135 | + | let U = $Tuple2(nil, P) | |
136 | + | func V (W,X) = if ((X >= T)) | |
137 | + | then W | |
138 | + | else L(W, S[X]) | |
139 | + | ||
140 | + | func Y (W,X) = if ((X >= T)) | |
141 | + | then W | |
142 | + | else throw("List size exceeds 5") | |
143 | + | ||
144 | + | Y(V(V(V(V(V(U, 0), 1), 2), 3), 4), 5) | |
145 | + | } | |
146 | + | let N = R._1 | |
147 | + | let l = R._2 | |
148 | + | N | |
149 | + | } | |
150 | + | ||
151 | + | ||
152 | + | func Z (N,I) = (N + valueOrElse(getInteger(I), 0)) | |
153 | + | ||
154 | + | ||
155 | + | func aa (l) = { | |
156 | + | let ab = O(l) | |
157 | + | let S = ab | |
158 | + | let T = size(S) | |
159 | + | let U = 0 | |
160 | + | func V (W,X) = if ((X >= T)) | |
161 | + | then W | |
162 | + | else Z(W, S[X]) | |
163 | + | ||
164 | + | func Y (W,X) = if ((X >= T)) | |
165 | + | then W | |
166 | + | else throw("List size exceeds 5") | |
167 | + | ||
168 | + | Y(V(V(V(V(V(U, 0), 1), 2), 3), 4), 5) | |
169 | + | } | |
170 | + | ||
171 | + | ||
172 | + | func ac (N,ad) = (N :+ DeleteEntry(ad)) | |
173 | + | ||
174 | + | ||
175 | + | func ae (l) = { | |
176 | + | let ab = O(l) | |
177 | + | let S = ab | |
178 | + | let T = size(S) | |
179 | + | let U = nil | |
180 | + | func V (W,X) = if ((X >= T)) | |
181 | + | then W | |
182 | + | else ac(W, S[X]) | |
183 | + | ||
184 | + | func Y (W,X) = if ((X >= T)) | |
185 | + | then W | |
186 | + | else throw("List size exceeds 5") | |
187 | + | ||
188 | + | Y(V(V(V(V(V(U, 0), 1), 2), 3), 4), 5) | |
189 | + | } | |
190 | + | ||
191 | + | ||
192 | + | func af (ag,P,ah,ai) = { | |
193 | + | let I = k(P, ag) | |
194 | + | let aj = G(P, ag) | |
195 | + | let ak = if (!(K(ag))) | |
196 | + | then h((("Address: " + ag) + " not in Admin list")) | |
197 | + | else if ((aj == 1)) | |
198 | + | then h((I + " you already voted")) | |
199 | + | else unit | |
200 | + | if ((ak == ak)) | |
201 | + | then { | |
202 | + | let ab = aa(P) | |
203 | + | if (((ab + 1) >= ah)) | |
204 | + | then { | |
205 | + | let al = ae(P) | |
206 | + | (al ++ ai) | |
207 | + | } | |
208 | + | else [IntegerEntry(I, 1)] | |
209 | + | } | |
210 | + | else throw("Strict value is not equal to itself.") | |
211 | + | } | |
212 | + | ||
213 | + | ||
214 | + | @Callable(E) | |
215 | + | func transferWaves (am,an) = { | |
216 | + | let ao = F(E) | |
217 | + | if ((ao == ao)) | |
218 | + | then [ScriptTransfer(Address(am), an, unit)] | |
219 | + | else throw("Strict value is not equal to itself.") | |
220 | + | } | |
221 | + | ||
222 | + | ||
223 | + | ||
224 | + | @Callable(E) | |
225 | + | func voteForTxId (j) = { | |
226 | + | let ag = toBase58String(E.caller.bytes) | |
227 | + | let P = i(j) | |
228 | + | let N = [StringEntry(p(), j)] | |
229 | + | let ap = getString(this, p()) | |
230 | + | let ak = [if ((size(fromBase58String(j)) == e)) | |
231 | + | then true | |
232 | + | else h((j + " is not valid txId")), if (if ((ap == unit)) | |
233 | + | then true | |
234 | + | else (value(ap) != j)) | |
235 | + | then true | |
236 | + | else h((j + " is already allowed"))] | |
237 | + | if ((ak == ak)) | |
238 | + | then af(ag, P, d, N) | |
239 | + | else throw("Strict value is not equal to itself.") | |
240 | + | } | |
241 | + | ||
242 | + |
github/deemru/w8io/169f3d6 27.01 ms ◑