1use crate::ffi::c_void;
4use crate::{CElementsTxEnv, CFrameItem};
5
6extern "C" {
7 #[link_name = "rustsimplicity_0_7_c_add_16"]
8 pub fn add_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
9 #[link_name = "rustsimplicity_0_7_c_add_32"]
10 pub fn add_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
11 #[link_name = "rustsimplicity_0_7_c_add_64"]
12 pub fn add_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
13 #[link_name = "rustsimplicity_0_7_c_add_8"]
14 pub fn add_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
15 #[link_name = "rustsimplicity_0_7_c_all_16"]
16 pub fn all_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
17 #[link_name = "rustsimplicity_0_7_c_all_32"]
18 pub fn all_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
19 #[link_name = "rustsimplicity_0_7_c_all_64"]
20 pub fn all_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
21 #[link_name = "rustsimplicity_0_7_c_all_8"]
22 pub fn all_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
23 #[link_name = "rustsimplicity_0_7_c_and_1"]
24 pub fn and_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
25 #[link_name = "rustsimplicity_0_7_c_and_16"]
26 pub fn and_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
27 #[link_name = "rustsimplicity_0_7_c_and_32"]
28 pub fn and_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
29 #[link_name = "rustsimplicity_0_7_c_and_64"]
30 pub fn and_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
31 #[link_name = "rustsimplicity_0_7_c_and_8"]
32 pub fn and_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
33 #[link_name = "rustsimplicity_0_7_c_annex_hash"]
34 pub fn annex_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
35 #[link_name = "rustsimplicity_0_7_c_asset_amount_hash"]
36 pub fn asset_amount_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
37 #[link_name = "rustsimplicity_0_7_c_bip_0340_verify"]
38 pub fn bip_0340_verify(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
39 #[link_name = "rustsimplicity_0_7_c_broken_do_not_use_check_lock_distance"]
40 pub fn broken_do_not_use_check_lock_distance(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
41 #[link_name = "rustsimplicity_0_7_c_broken_do_not_use_check_lock_duration"]
42 pub fn broken_do_not_use_check_lock_duration(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
43 #[link_name = "rustsimplicity_0_7_c_broken_do_not_use_tx_lock_distance"]
44 pub fn broken_do_not_use_tx_lock_distance(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
45 #[link_name = "rustsimplicity_0_7_c_broken_do_not_use_tx_lock_duration"]
46 pub fn broken_do_not_use_tx_lock_duration(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
47 #[link_name = "rustsimplicity_0_7_c_build_tapbranch"]
48 pub fn build_tapbranch(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
49 #[link_name = "rustsimplicity_0_7_c_build_tapleaf_simplicity"]
50 pub fn build_tapleaf_simplicity(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
51 #[link_name = "rustsimplicity_0_7_c_build_taptweak"]
52 pub fn build_taptweak(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
53 #[link_name = "rustsimplicity_0_7_c_calculate_asset"]
54 pub fn calculate_asset(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
55 #[link_name = "rustsimplicity_0_7_c_calculate_confidential_token"]
56 pub fn calculate_confidential_token(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
57 #[link_name = "rustsimplicity_0_7_c_calculate_explicit_token"]
58 pub fn calculate_explicit_token(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
59 #[link_name = "rustsimplicity_0_7_c_calculate_issuance_entropy"]
60 pub fn calculate_issuance_entropy(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
61 #[link_name = "rustsimplicity_0_7_c_ch_1"]
62 pub fn ch_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
63 #[link_name = "rustsimplicity_0_7_c_ch_16"]
64 pub fn ch_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
65 #[link_name = "rustsimplicity_0_7_c_ch_32"]
66 pub fn ch_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
67 #[link_name = "rustsimplicity_0_7_c_ch_64"]
68 pub fn ch_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
69 #[link_name = "rustsimplicity_0_7_c_ch_8"]
70 pub fn ch_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
71 #[link_name = "rustsimplicity_0_7_c_check_lock_height"]
72 pub fn check_lock_height(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
73 #[link_name = "rustsimplicity_0_7_c_check_lock_time"]
74 pub fn check_lock_time(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
75 #[link_name = "rustsimplicity_0_7_c_check_sig_verify"]
76 pub fn check_sig_verify(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
77 #[link_name = "rustsimplicity_0_7_c_complement_1"]
78 pub fn complement_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
79 #[link_name = "rustsimplicity_0_7_c_complement_16"]
80 pub fn complement_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
81 #[link_name = "rustsimplicity_0_7_c_complement_32"]
82 pub fn complement_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
83 #[link_name = "rustsimplicity_0_7_c_complement_64"]
84 pub fn complement_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
85 #[link_name = "rustsimplicity_0_7_c_complement_8"]
86 pub fn complement_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
87 #[link_name = "rustsimplicity_0_7_c_current_amount"]
88 pub fn current_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
89 #[link_name = "rustsimplicity_0_7_c_current_annex_hash"]
90 pub fn current_annex_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
91 #[link_name = "rustsimplicity_0_7_c_current_asset"]
92 pub fn current_asset(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
93 #[link_name = "rustsimplicity_0_7_c_current_index"]
94 pub fn current_index(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
95 #[link_name = "rustsimplicity_0_7_c_current_issuance_asset_amount"]
96 pub fn current_issuance_asset_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
97 #[link_name = "rustsimplicity_0_7_c_current_issuance_asset_proof"]
98 pub fn current_issuance_asset_proof(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
99 #[link_name = "rustsimplicity_0_7_c_current_issuance_token_amount"]
100 pub fn current_issuance_token_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
101 #[link_name = "rustsimplicity_0_7_c_current_issuance_token_proof"]
102 pub fn current_issuance_token_proof(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
103 #[link_name = "rustsimplicity_0_7_c_current_new_issuance_contract"]
104 pub fn current_new_issuance_contract(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
105 #[link_name = "rustsimplicity_0_7_c_current_pegin"]
106 pub fn current_pegin(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
107 #[link_name = "rustsimplicity_0_7_c_current_prev_outpoint"]
108 pub fn current_prev_outpoint(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
109 #[link_name = "rustsimplicity_0_7_c_current_reissuance_blinding"]
110 pub fn current_reissuance_blinding(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
111 #[link_name = "rustsimplicity_0_7_c_current_reissuance_entropy"]
112 pub fn current_reissuance_entropy(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
113 #[link_name = "rustsimplicity_0_7_c_current_script_hash"]
114 pub fn current_script_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
115 #[link_name = "rustsimplicity_0_7_c_current_script_sig_hash"]
116 pub fn current_script_sig_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
117 #[link_name = "rustsimplicity_0_7_c_current_sequence"]
118 pub fn current_sequence(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
119 #[link_name = "rustsimplicity_0_7_c_decompress"]
120 pub fn decompress(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
121 #[link_name = "rustsimplicity_0_7_c_decrement_16"]
122 pub fn decrement_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
123 #[link_name = "rustsimplicity_0_7_c_decrement_32"]
124 pub fn decrement_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
125 #[link_name = "rustsimplicity_0_7_c_decrement_64"]
126 pub fn decrement_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
127 #[link_name = "rustsimplicity_0_7_c_decrement_8"]
128 pub fn decrement_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
129 #[link_name = "rustsimplicity_0_7_c_div_mod_128_64"]
130 pub fn div_mod_128_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
131 #[link_name = "rustsimplicity_0_7_c_div_mod_16"]
132 pub fn div_mod_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
133 #[link_name = "rustsimplicity_0_7_c_div_mod_32"]
134 pub fn div_mod_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
135 #[link_name = "rustsimplicity_0_7_c_div_mod_64"]
136 pub fn div_mod_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
137 #[link_name = "rustsimplicity_0_7_c_div_mod_8"]
138 pub fn div_mod_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
139 #[link_name = "rustsimplicity_0_7_c_divide_16"]
140 pub fn divide_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
141 #[link_name = "rustsimplicity_0_7_c_divide_32"]
142 pub fn divide_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
143 #[link_name = "rustsimplicity_0_7_c_divide_64"]
144 pub fn divide_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
145 #[link_name = "rustsimplicity_0_7_c_divide_8"]
146 pub fn divide_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
147 #[link_name = "rustsimplicity_0_7_c_divides_16"]
148 pub fn divides_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
149 #[link_name = "rustsimplicity_0_7_c_divides_32"]
150 pub fn divides_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
151 #[link_name = "rustsimplicity_0_7_c_divides_64"]
152 pub fn divides_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
153 #[link_name = "rustsimplicity_0_7_c_divides_8"]
154 pub fn divides_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
155 #[link_name = "rustsimplicity_0_7_c_eq_1"]
156 pub fn eq_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
157 #[link_name = "rustsimplicity_0_7_c_eq_16"]
158 pub fn eq_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
159 #[link_name = "rustsimplicity_0_7_c_eq_256"]
160 pub fn eq_256(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
161 #[link_name = "rustsimplicity_0_7_c_eq_32"]
162 pub fn eq_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
163 #[link_name = "rustsimplicity_0_7_c_eq_64"]
164 pub fn eq_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
165 #[link_name = "rustsimplicity_0_7_c_eq_8"]
166 pub fn eq_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
167 #[link_name = "rustsimplicity_0_7_c_fe_add"]
168 pub fn fe_add(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
169 #[link_name = "rustsimplicity_0_7_c_fe_invert"]
170 pub fn fe_invert(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
171 #[link_name = "rustsimplicity_0_7_c_fe_is_odd"]
172 pub fn fe_is_odd(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
173 #[link_name = "rustsimplicity_0_7_c_fe_is_zero"]
174 pub fn fe_is_zero(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
175 #[link_name = "rustsimplicity_0_7_c_fe_multiply"]
176 pub fn fe_multiply(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
177 #[link_name = "rustsimplicity_0_7_c_fe_multiply_beta"]
178 pub fn fe_multiply_beta(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
179 #[link_name = "rustsimplicity_0_7_c_fe_negate"]
180 pub fn fe_negate(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
181 #[link_name = "rustsimplicity_0_7_c_fe_normalize"]
182 pub fn fe_normalize(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
183 #[link_name = "rustsimplicity_0_7_c_fe_square"]
184 pub fn fe_square(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
185 #[link_name = "rustsimplicity_0_7_c_fe_square_root"]
186 pub fn fe_square_root(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
187 #[link_name = "rustsimplicity_0_7_c_full_add_16"]
188 pub fn full_add_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
189 #[link_name = "rustsimplicity_0_7_c_full_add_32"]
190 pub fn full_add_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
191 #[link_name = "rustsimplicity_0_7_c_full_add_64"]
192 pub fn full_add_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
193 #[link_name = "rustsimplicity_0_7_c_full_add_8"]
194 pub fn full_add_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
195 #[link_name = "rustsimplicity_0_7_c_full_decrement_16"]
196 pub fn full_decrement_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
197 #[link_name = "rustsimplicity_0_7_c_full_decrement_32"]
198 pub fn full_decrement_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
199 #[link_name = "rustsimplicity_0_7_c_full_decrement_64"]
200 pub fn full_decrement_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
201 #[link_name = "rustsimplicity_0_7_c_full_decrement_8"]
202 pub fn full_decrement_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
203 #[link_name = "rustsimplicity_0_7_c_full_increment_16"]
204 pub fn full_increment_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
205 #[link_name = "rustsimplicity_0_7_c_full_increment_32"]
206 pub fn full_increment_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
207 #[link_name = "rustsimplicity_0_7_c_full_increment_64"]
208 pub fn full_increment_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
209 #[link_name = "rustsimplicity_0_7_c_full_increment_8"]
210 pub fn full_increment_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
211 #[link_name = "rustsimplicity_0_7_c_full_left_shift_16_1"]
212 pub fn full_left_shift_16_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
213 #[link_name = "rustsimplicity_0_7_c_full_left_shift_16_2"]
214 pub fn full_left_shift_16_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
215 #[link_name = "rustsimplicity_0_7_c_full_left_shift_16_4"]
216 pub fn full_left_shift_16_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
217 #[link_name = "rustsimplicity_0_7_c_full_left_shift_16_8"]
218 pub fn full_left_shift_16_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
219 #[link_name = "rustsimplicity_0_7_c_full_left_shift_32_1"]
220 pub fn full_left_shift_32_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
221 #[link_name = "rustsimplicity_0_7_c_full_left_shift_32_16"]
222 pub fn full_left_shift_32_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
223 #[link_name = "rustsimplicity_0_7_c_full_left_shift_32_2"]
224 pub fn full_left_shift_32_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
225 #[link_name = "rustsimplicity_0_7_c_full_left_shift_32_4"]
226 pub fn full_left_shift_32_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
227 #[link_name = "rustsimplicity_0_7_c_full_left_shift_32_8"]
228 pub fn full_left_shift_32_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
229 #[link_name = "rustsimplicity_0_7_c_full_left_shift_64_1"]
230 pub fn full_left_shift_64_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
231 #[link_name = "rustsimplicity_0_7_c_full_left_shift_64_16"]
232 pub fn full_left_shift_64_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
233 #[link_name = "rustsimplicity_0_7_c_full_left_shift_64_2"]
234 pub fn full_left_shift_64_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
235 #[link_name = "rustsimplicity_0_7_c_full_left_shift_64_32"]
236 pub fn full_left_shift_64_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
237 #[link_name = "rustsimplicity_0_7_c_full_left_shift_64_4"]
238 pub fn full_left_shift_64_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
239 #[link_name = "rustsimplicity_0_7_c_full_left_shift_64_8"]
240 pub fn full_left_shift_64_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
241 #[link_name = "rustsimplicity_0_7_c_full_left_shift_8_1"]
242 pub fn full_left_shift_8_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
243 #[link_name = "rustsimplicity_0_7_c_full_left_shift_8_2"]
244 pub fn full_left_shift_8_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
245 #[link_name = "rustsimplicity_0_7_c_full_left_shift_8_4"]
246 pub fn full_left_shift_8_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
247 #[link_name = "rustsimplicity_0_7_c_full_multiply_16"]
248 pub fn full_multiply_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
249 #[link_name = "rustsimplicity_0_7_c_full_multiply_32"]
250 pub fn full_multiply_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
251 #[link_name = "rustsimplicity_0_7_c_full_multiply_64"]
252 pub fn full_multiply_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
253 #[link_name = "rustsimplicity_0_7_c_full_multiply_8"]
254 pub fn full_multiply_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
255 #[link_name = "rustsimplicity_0_7_c_full_right_shift_16_1"]
256 pub fn full_right_shift_16_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
257 #[link_name = "rustsimplicity_0_7_c_full_right_shift_16_2"]
258 pub fn full_right_shift_16_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
259 #[link_name = "rustsimplicity_0_7_c_full_right_shift_16_4"]
260 pub fn full_right_shift_16_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
261 #[link_name = "rustsimplicity_0_7_c_full_right_shift_16_8"]
262 pub fn full_right_shift_16_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
263 #[link_name = "rustsimplicity_0_7_c_full_right_shift_32_1"]
264 pub fn full_right_shift_32_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
265 #[link_name = "rustsimplicity_0_7_c_full_right_shift_32_16"]
266 pub fn full_right_shift_32_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
267 #[link_name = "rustsimplicity_0_7_c_full_right_shift_32_2"]
268 pub fn full_right_shift_32_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
269 #[link_name = "rustsimplicity_0_7_c_full_right_shift_32_4"]
270 pub fn full_right_shift_32_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
271 #[link_name = "rustsimplicity_0_7_c_full_right_shift_32_8"]
272 pub fn full_right_shift_32_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
273 #[link_name = "rustsimplicity_0_7_c_full_right_shift_64_1"]
274 pub fn full_right_shift_64_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
275 #[link_name = "rustsimplicity_0_7_c_full_right_shift_64_16"]
276 pub fn full_right_shift_64_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
277 #[link_name = "rustsimplicity_0_7_c_full_right_shift_64_2"]
278 pub fn full_right_shift_64_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
279 #[link_name = "rustsimplicity_0_7_c_full_right_shift_64_32"]
280 pub fn full_right_shift_64_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
281 #[link_name = "rustsimplicity_0_7_c_full_right_shift_64_4"]
282 pub fn full_right_shift_64_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
283 #[link_name = "rustsimplicity_0_7_c_full_right_shift_64_8"]
284 pub fn full_right_shift_64_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
285 #[link_name = "rustsimplicity_0_7_c_full_right_shift_8_1"]
286 pub fn full_right_shift_8_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
287 #[link_name = "rustsimplicity_0_7_c_full_right_shift_8_2"]
288 pub fn full_right_shift_8_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
289 #[link_name = "rustsimplicity_0_7_c_full_right_shift_8_4"]
290 pub fn full_right_shift_8_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
291 #[link_name = "rustsimplicity_0_7_c_full_subtract_16"]
292 pub fn full_subtract_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
293 #[link_name = "rustsimplicity_0_7_c_full_subtract_32"]
294 pub fn full_subtract_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
295 #[link_name = "rustsimplicity_0_7_c_full_subtract_64"]
296 pub fn full_subtract_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
297 #[link_name = "rustsimplicity_0_7_c_full_subtract_8"]
298 pub fn full_subtract_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
299 #[link_name = "rustsimplicity_0_7_c_ge_is_on_curve"]
300 pub fn ge_is_on_curve(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
301 #[link_name = "rustsimplicity_0_7_c_ge_negate"]
302 pub fn ge_negate(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
303 #[link_name = "rustsimplicity_0_7_c_gej_add"]
304 pub fn gej_add(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
305 #[link_name = "rustsimplicity_0_7_c_gej_double"]
306 pub fn gej_double(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
307 #[link_name = "rustsimplicity_0_7_c_gej_equiv"]
308 pub fn gej_equiv(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
309 #[link_name = "rustsimplicity_0_7_c_gej_ge_add"]
310 pub fn gej_ge_add(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
311 #[link_name = "rustsimplicity_0_7_c_gej_ge_add_ex"]
312 pub fn gej_ge_add_ex(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
313 #[link_name = "rustsimplicity_0_7_c_gej_ge_equiv"]
314 pub fn gej_ge_equiv(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
315 #[link_name = "rustsimplicity_0_7_c_gej_infinity"]
316 pub fn gej_infinity(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
317 #[link_name = "rustsimplicity_0_7_c_gej_is_infinity"]
318 pub fn gej_is_infinity(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
319 #[link_name = "rustsimplicity_0_7_c_gej_is_on_curve"]
320 pub fn gej_is_on_curve(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
321 #[link_name = "rustsimplicity_0_7_c_gej_negate"]
322 pub fn gej_negate(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
323 #[link_name = "rustsimplicity_0_7_c_gej_normalize"]
324 pub fn gej_normalize(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
325 #[link_name = "rustsimplicity_0_7_c_gej_rescale"]
326 pub fn gej_rescale(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
327 #[link_name = "rustsimplicity_0_7_c_gej_x_equiv"]
328 pub fn gej_x_equiv(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
329 #[link_name = "rustsimplicity_0_7_c_gej_y_is_odd"]
330 pub fn gej_y_is_odd(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
331 #[link_name = "rustsimplicity_0_7_c_generate"]
332 pub fn generate(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
333 #[link_name = "rustsimplicity_0_7_c_genesis_block_hash"]
334 pub fn genesis_block_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
335 #[link_name = "rustsimplicity_0_7_c_hash_to_curve"]
336 pub fn hash_to_curve(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
337 #[link_name = "rustsimplicity_0_7_c_high_1"]
338 pub fn high_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
339 #[link_name = "rustsimplicity_0_7_c_high_16"]
340 pub fn high_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
341 #[link_name = "rustsimplicity_0_7_c_high_32"]
342 pub fn high_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
343 #[link_name = "rustsimplicity_0_7_c_high_64"]
344 pub fn high_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
345 #[link_name = "rustsimplicity_0_7_c_high_8"]
346 pub fn high_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
347 #[link_name = "rustsimplicity_0_7_c_increment_16"]
348 pub fn increment_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
349 #[link_name = "rustsimplicity_0_7_c_increment_32"]
350 pub fn increment_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
351 #[link_name = "rustsimplicity_0_7_c_increment_64"]
352 pub fn increment_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
353 #[link_name = "rustsimplicity_0_7_c_increment_8"]
354 pub fn increment_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
355 #[link_name = "rustsimplicity_0_7_c_input_amount"]
356 pub fn input_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
357 #[link_name = "rustsimplicity_0_7_c_input_amounts_hash"]
358 pub fn input_amounts_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
359 #[link_name = "rustsimplicity_0_7_c_input_annex_hash"]
360 pub fn input_annex_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
361 #[link_name = "rustsimplicity_0_7_c_input_annexes_hash"]
362 pub fn input_annexes_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
363 #[link_name = "rustsimplicity_0_7_c_input_asset"]
364 pub fn input_asset(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
365 #[link_name = "rustsimplicity_0_7_c_input_hash"]
366 pub fn input_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
367 #[link_name = "rustsimplicity_0_7_c_input_outpoints_hash"]
368 pub fn input_outpoints_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
369 #[link_name = "rustsimplicity_0_7_c_input_pegin"]
370 pub fn input_pegin(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
371 #[link_name = "rustsimplicity_0_7_c_input_prev_outpoint"]
372 pub fn input_prev_outpoint(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
373 #[link_name = "rustsimplicity_0_7_c_input_script_hash"]
374 pub fn input_script_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
375 #[link_name = "rustsimplicity_0_7_c_input_script_sig_hash"]
376 pub fn input_script_sig_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
377 #[link_name = "rustsimplicity_0_7_c_input_script_sigs_hash"]
378 pub fn input_script_sigs_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
379 #[link_name = "rustsimplicity_0_7_c_input_scripts_hash"]
380 pub fn input_scripts_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
381 #[link_name = "rustsimplicity_0_7_c_input_sequence"]
382 pub fn input_sequence(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
383 #[link_name = "rustsimplicity_0_7_c_input_sequences_hash"]
384 pub fn input_sequences_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
385 #[link_name = "rustsimplicity_0_7_c_input_utxo_hash"]
386 pub fn input_utxo_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
387 #[link_name = "rustsimplicity_0_7_c_input_utxos_hash"]
388 pub fn input_utxos_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
389 #[link_name = "rustsimplicity_0_7_c_inputs_hash"]
390 pub fn inputs_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
391 #[link_name = "rustsimplicity_0_7_c_internal_key"]
392 pub fn internal_key(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
393 #[link_name = "rustsimplicity_0_7_c_is_one_16"]
394 pub fn is_one_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
395 #[link_name = "rustsimplicity_0_7_c_is_one_32"]
396 pub fn is_one_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
397 #[link_name = "rustsimplicity_0_7_c_is_one_64"]
398 pub fn is_one_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
399 #[link_name = "rustsimplicity_0_7_c_is_one_8"]
400 pub fn is_one_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
401 #[link_name = "rustsimplicity_0_7_c_is_zero_16"]
402 pub fn is_zero_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
403 #[link_name = "rustsimplicity_0_7_c_is_zero_32"]
404 pub fn is_zero_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
405 #[link_name = "rustsimplicity_0_7_c_is_zero_64"]
406 pub fn is_zero_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
407 #[link_name = "rustsimplicity_0_7_c_is_zero_8"]
408 pub fn is_zero_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
409 #[link_name = "rustsimplicity_0_7_c_issuance"]
410 pub fn issuance(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
411 #[link_name = "rustsimplicity_0_7_c_issuance_asset"]
412 pub fn issuance_asset(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
413 #[link_name = "rustsimplicity_0_7_c_issuance_asset_amount"]
414 pub fn issuance_asset_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
415 #[link_name = "rustsimplicity_0_7_c_issuance_asset_amounts_hash"]
416 pub fn issuance_asset_amounts_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
417 #[link_name = "rustsimplicity_0_7_c_issuance_asset_proof"]
418 pub fn issuance_asset_proof(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
419 #[link_name = "rustsimplicity_0_7_c_issuance_blinding_entropy_hash"]
420 pub fn issuance_blinding_entropy_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
421 #[link_name = "rustsimplicity_0_7_c_issuance_entropy"]
422 pub fn issuance_entropy(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
423 #[link_name = "rustsimplicity_0_7_c_issuance_hash"]
424 pub fn issuance_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
425 #[link_name = "rustsimplicity_0_7_c_issuance_range_proofs_hash"]
426 pub fn issuance_range_proofs_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
427 #[link_name = "rustsimplicity_0_7_c_issuance_token"]
428 pub fn issuance_token(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
429 #[link_name = "rustsimplicity_0_7_c_issuance_token_amount"]
430 pub fn issuance_token_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
431 #[link_name = "rustsimplicity_0_7_c_issuance_token_amounts_hash"]
432 pub fn issuance_token_amounts_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
433 #[link_name = "rustsimplicity_0_7_c_issuance_token_proof"]
434 pub fn issuance_token_proof(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
435 #[link_name = "rustsimplicity_0_7_c_issuances_hash"]
436 pub fn issuances_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
437 #[link_name = "rustsimplicity_0_7_c_lbtc_asset"]
438 pub fn lbtc_asset(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
439 #[link_name = "rustsimplicity_0_7_c_le_16"]
440 pub fn le_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
441 #[link_name = "rustsimplicity_0_7_c_le_32"]
442 pub fn le_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
443 #[link_name = "rustsimplicity_0_7_c_le_64"]
444 pub fn le_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
445 #[link_name = "rustsimplicity_0_7_c_le_8"]
446 pub fn le_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
447 #[link_name = "rustsimplicity_0_7_c_left_extend_16_32"]
448 pub fn left_extend_16_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
449 #[link_name = "rustsimplicity_0_7_c_left_extend_16_64"]
450 pub fn left_extend_16_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
451 #[link_name = "rustsimplicity_0_7_c_left_extend_1_16"]
452 pub fn left_extend_1_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
453 #[link_name = "rustsimplicity_0_7_c_left_extend_1_32"]
454 pub fn left_extend_1_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
455 #[link_name = "rustsimplicity_0_7_c_left_extend_1_64"]
456 pub fn left_extend_1_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
457 #[link_name = "rustsimplicity_0_7_c_left_extend_1_8"]
458 pub fn left_extend_1_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
459 #[link_name = "rustsimplicity_0_7_c_left_extend_32_64"]
460 pub fn left_extend_32_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
461 #[link_name = "rustsimplicity_0_7_c_left_extend_8_16"]
462 pub fn left_extend_8_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
463 #[link_name = "rustsimplicity_0_7_c_left_extend_8_32"]
464 pub fn left_extend_8_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
465 #[link_name = "rustsimplicity_0_7_c_left_extend_8_64"]
466 pub fn left_extend_8_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
467 #[link_name = "rustsimplicity_0_7_c_left_pad_high_16_32"]
468 pub fn left_pad_high_16_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
469 #[link_name = "rustsimplicity_0_7_c_left_pad_high_16_64"]
470 pub fn left_pad_high_16_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
471 #[link_name = "rustsimplicity_0_7_c_left_pad_high_1_16"]
472 pub fn left_pad_high_1_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
473 #[link_name = "rustsimplicity_0_7_c_left_pad_high_1_32"]
474 pub fn left_pad_high_1_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
475 #[link_name = "rustsimplicity_0_7_c_left_pad_high_1_64"]
476 pub fn left_pad_high_1_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
477 #[link_name = "rustsimplicity_0_7_c_left_pad_high_1_8"]
478 pub fn left_pad_high_1_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
479 #[link_name = "rustsimplicity_0_7_c_left_pad_high_32_64"]
480 pub fn left_pad_high_32_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
481 #[link_name = "rustsimplicity_0_7_c_left_pad_high_8_16"]
482 pub fn left_pad_high_8_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
483 #[link_name = "rustsimplicity_0_7_c_left_pad_high_8_32"]
484 pub fn left_pad_high_8_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
485 #[link_name = "rustsimplicity_0_7_c_left_pad_high_8_64"]
486 pub fn left_pad_high_8_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
487 #[link_name = "rustsimplicity_0_7_c_left_pad_low_16_32"]
488 pub fn left_pad_low_16_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
489 #[link_name = "rustsimplicity_0_7_c_left_pad_low_16_64"]
490 pub fn left_pad_low_16_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
491 #[link_name = "rustsimplicity_0_7_c_left_pad_low_1_16"]
492 pub fn left_pad_low_1_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
493 #[link_name = "rustsimplicity_0_7_c_left_pad_low_1_32"]
494 pub fn left_pad_low_1_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
495 #[link_name = "rustsimplicity_0_7_c_left_pad_low_1_64"]
496 pub fn left_pad_low_1_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
497 #[link_name = "rustsimplicity_0_7_c_left_pad_low_1_8"]
498 pub fn left_pad_low_1_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
499 #[link_name = "rustsimplicity_0_7_c_left_pad_low_32_64"]
500 pub fn left_pad_low_32_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
501 #[link_name = "rustsimplicity_0_7_c_left_pad_low_8_16"]
502 pub fn left_pad_low_8_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
503 #[link_name = "rustsimplicity_0_7_c_left_pad_low_8_32"]
504 pub fn left_pad_low_8_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
505 #[link_name = "rustsimplicity_0_7_c_left_pad_low_8_64"]
506 pub fn left_pad_low_8_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
507 #[link_name = "rustsimplicity_0_7_c_left_rotate_16"]
508 pub fn left_rotate_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
509 #[link_name = "rustsimplicity_0_7_c_left_rotate_32"]
510 pub fn left_rotate_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
511 #[link_name = "rustsimplicity_0_7_c_left_rotate_64"]
512 pub fn left_rotate_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
513 #[link_name = "rustsimplicity_0_7_c_left_rotate_8"]
514 pub fn left_rotate_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
515 #[link_name = "rustsimplicity_0_7_c_left_shift_16"]
516 pub fn left_shift_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
517 #[link_name = "rustsimplicity_0_7_c_left_shift_32"]
518 pub fn left_shift_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
519 #[link_name = "rustsimplicity_0_7_c_left_shift_64"]
520 pub fn left_shift_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
521 #[link_name = "rustsimplicity_0_7_c_left_shift_8"]
522 pub fn left_shift_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
523 #[link_name = "rustsimplicity_0_7_c_left_shift_with_16"]
524 pub fn left_shift_with_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
525 #[link_name = "rustsimplicity_0_7_c_left_shift_with_32"]
526 pub fn left_shift_with_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
527 #[link_name = "rustsimplicity_0_7_c_left_shift_with_64"]
528 pub fn left_shift_with_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
529 #[link_name = "rustsimplicity_0_7_c_left_shift_with_8"]
530 pub fn left_shift_with_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
531 #[link_name = "rustsimplicity_0_7_c_leftmost_16_1"]
532 pub fn leftmost_16_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
533 #[link_name = "rustsimplicity_0_7_c_leftmost_16_2"]
534 pub fn leftmost_16_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
535 #[link_name = "rustsimplicity_0_7_c_leftmost_16_4"]
536 pub fn leftmost_16_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
537 #[link_name = "rustsimplicity_0_7_c_leftmost_16_8"]
538 pub fn leftmost_16_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
539 #[link_name = "rustsimplicity_0_7_c_leftmost_32_1"]
540 pub fn leftmost_32_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
541 #[link_name = "rustsimplicity_0_7_c_leftmost_32_16"]
542 pub fn leftmost_32_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
543 #[link_name = "rustsimplicity_0_7_c_leftmost_32_2"]
544 pub fn leftmost_32_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
545 #[link_name = "rustsimplicity_0_7_c_leftmost_32_4"]
546 pub fn leftmost_32_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
547 #[link_name = "rustsimplicity_0_7_c_leftmost_32_8"]
548 pub fn leftmost_32_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
549 #[link_name = "rustsimplicity_0_7_c_leftmost_64_1"]
550 pub fn leftmost_64_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
551 #[link_name = "rustsimplicity_0_7_c_leftmost_64_16"]
552 pub fn leftmost_64_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
553 #[link_name = "rustsimplicity_0_7_c_leftmost_64_2"]
554 pub fn leftmost_64_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
555 #[link_name = "rustsimplicity_0_7_c_leftmost_64_32"]
556 pub fn leftmost_64_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
557 #[link_name = "rustsimplicity_0_7_c_leftmost_64_4"]
558 pub fn leftmost_64_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
559 #[link_name = "rustsimplicity_0_7_c_leftmost_64_8"]
560 pub fn leftmost_64_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
561 #[link_name = "rustsimplicity_0_7_c_leftmost_8_1"]
562 pub fn leftmost_8_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
563 #[link_name = "rustsimplicity_0_7_c_leftmost_8_2"]
564 pub fn leftmost_8_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
565 #[link_name = "rustsimplicity_0_7_c_leftmost_8_4"]
566 pub fn leftmost_8_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
567 #[link_name = "rustsimplicity_0_7_c_linear_combination_1"]
568 pub fn linear_combination_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
569 #[link_name = "rustsimplicity_0_7_c_linear_verify_1"]
570 pub fn linear_verify_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
571 #[link_name = "rustsimplicity_0_7_c_lock_time"]
572 pub fn lock_time(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
573 #[link_name = "rustsimplicity_0_7_c_low_1"]
574 pub fn low_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
575 #[link_name = "rustsimplicity_0_7_c_low_16"]
576 pub fn low_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
577 #[link_name = "rustsimplicity_0_7_c_low_32"]
578 pub fn low_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
579 #[link_name = "rustsimplicity_0_7_c_low_64"]
580 pub fn low_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
581 #[link_name = "rustsimplicity_0_7_c_low_8"]
582 pub fn low_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
583 #[link_name = "rustsimplicity_0_7_c_lt_16"]
584 pub fn lt_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
585 #[link_name = "rustsimplicity_0_7_c_lt_32"]
586 pub fn lt_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
587 #[link_name = "rustsimplicity_0_7_c_lt_64"]
588 pub fn lt_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
589 #[link_name = "rustsimplicity_0_7_c_lt_8"]
590 pub fn lt_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
591 #[link_name = "rustsimplicity_0_7_c_maj_1"]
592 pub fn maj_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
593 #[link_name = "rustsimplicity_0_7_c_maj_16"]
594 pub fn maj_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
595 #[link_name = "rustsimplicity_0_7_c_maj_32"]
596 pub fn maj_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
597 #[link_name = "rustsimplicity_0_7_c_maj_64"]
598 pub fn maj_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
599 #[link_name = "rustsimplicity_0_7_c_maj_8"]
600 pub fn maj_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
601 #[link_name = "rustsimplicity_0_7_c_max_16"]
602 pub fn max_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
603 #[link_name = "rustsimplicity_0_7_c_max_32"]
604 pub fn max_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
605 #[link_name = "rustsimplicity_0_7_c_max_64"]
606 pub fn max_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
607 #[link_name = "rustsimplicity_0_7_c_max_8"]
608 pub fn max_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
609 #[link_name = "rustsimplicity_0_7_c_median_16"]
610 pub fn median_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
611 #[link_name = "rustsimplicity_0_7_c_median_32"]
612 pub fn median_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
613 #[link_name = "rustsimplicity_0_7_c_median_64"]
614 pub fn median_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
615 #[link_name = "rustsimplicity_0_7_c_median_8"]
616 pub fn median_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
617 #[link_name = "rustsimplicity_0_7_c_min_16"]
618 pub fn min_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
619 #[link_name = "rustsimplicity_0_7_c_min_32"]
620 pub fn min_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
621 #[link_name = "rustsimplicity_0_7_c_min_64"]
622 pub fn min_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
623 #[link_name = "rustsimplicity_0_7_c_min_8"]
624 pub fn min_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
625 #[link_name = "rustsimplicity_0_7_c_modulo_16"]
626 pub fn modulo_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
627 #[link_name = "rustsimplicity_0_7_c_modulo_32"]
628 pub fn modulo_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
629 #[link_name = "rustsimplicity_0_7_c_modulo_64"]
630 pub fn modulo_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
631 #[link_name = "rustsimplicity_0_7_c_modulo_8"]
632 pub fn modulo_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
633 #[link_name = "rustsimplicity_0_7_c_multiply_16"]
634 pub fn multiply_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
635 #[link_name = "rustsimplicity_0_7_c_multiply_32"]
636 pub fn multiply_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
637 #[link_name = "rustsimplicity_0_7_c_multiply_64"]
638 pub fn multiply_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
639 #[link_name = "rustsimplicity_0_7_c_multiply_8"]
640 pub fn multiply_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
641 #[link_name = "rustsimplicity_0_7_c_negate_16"]
642 pub fn negate_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
643 #[link_name = "rustsimplicity_0_7_c_negate_32"]
644 pub fn negate_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
645 #[link_name = "rustsimplicity_0_7_c_negate_64"]
646 pub fn negate_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
647 #[link_name = "rustsimplicity_0_7_c_negate_8"]
648 pub fn negate_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
649 #[link_name = "rustsimplicity_0_7_c_new_issuance_contract"]
650 pub fn new_issuance_contract(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
651 #[link_name = "rustsimplicity_0_7_c_nonce_hash"]
652 pub fn nonce_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
653 #[link_name = "rustsimplicity_0_7_c_num_inputs"]
654 pub fn num_inputs(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
655 #[link_name = "rustsimplicity_0_7_c_num_outputs"]
656 pub fn num_outputs(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
657 #[link_name = "rustsimplicity_0_7_c_one_16"]
658 pub fn one_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
659 #[link_name = "rustsimplicity_0_7_c_one_32"]
660 pub fn one_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
661 #[link_name = "rustsimplicity_0_7_c_one_64"]
662 pub fn one_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
663 #[link_name = "rustsimplicity_0_7_c_one_8"]
664 pub fn one_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
665 #[link_name = "rustsimplicity_0_7_c_or_1"]
666 pub fn or_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
667 #[link_name = "rustsimplicity_0_7_c_or_16"]
668 pub fn or_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
669 #[link_name = "rustsimplicity_0_7_c_or_32"]
670 pub fn or_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
671 #[link_name = "rustsimplicity_0_7_c_or_64"]
672 pub fn or_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
673 #[link_name = "rustsimplicity_0_7_c_or_8"]
674 pub fn or_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
675 #[link_name = "rustsimplicity_0_7_c_outpoint_hash"]
676 pub fn outpoint_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
677 #[link_name = "rustsimplicity_0_7_c_output_amount"]
678 pub fn output_amount(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
679 #[link_name = "rustsimplicity_0_7_c_output_amounts_hash"]
680 pub fn output_amounts_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
681 #[link_name = "rustsimplicity_0_7_c_output_asset"]
682 pub fn output_asset(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
683 #[link_name = "rustsimplicity_0_7_c_output_hash"]
684 pub fn output_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
685 #[link_name = "rustsimplicity_0_7_c_output_is_fee"]
686 pub fn output_is_fee(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
687 #[link_name = "rustsimplicity_0_7_c_output_nonce"]
688 pub fn output_nonce(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
689 #[link_name = "rustsimplicity_0_7_c_output_nonces_hash"]
690 pub fn output_nonces_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
691 #[link_name = "rustsimplicity_0_7_c_output_null_datum"]
692 pub fn output_null_datum(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
693 #[link_name = "rustsimplicity_0_7_c_output_range_proof"]
694 pub fn output_range_proof(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
695 #[link_name = "rustsimplicity_0_7_c_output_range_proofs_hash"]
696 pub fn output_range_proofs_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
697 #[link_name = "rustsimplicity_0_7_c_output_script_hash"]
698 pub fn output_script_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
699 #[link_name = "rustsimplicity_0_7_c_output_scripts_hash"]
700 pub fn output_scripts_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
701 #[link_name = "rustsimplicity_0_7_c_output_surjection_proof"]
702 pub fn output_surjection_proof(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
703 #[link_name = "rustsimplicity_0_7_c_output_surjection_proofs_hash"]
704 pub fn output_surjection_proofs_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
705 #[link_name = "rustsimplicity_0_7_c_outputs_hash"]
706 pub fn outputs_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
707 #[link_name = "rustsimplicity_0_7_c_parse_lock"]
708 pub fn parse_lock(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
709 #[link_name = "rustsimplicity_0_7_c_parse_sequence"]
710 pub fn parse_sequence(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
711 #[link_name = "rustsimplicity_0_7_c_point_verify_1"]
712 pub fn point_verify_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
713 #[link_name = "rustsimplicity_0_7_c_reissuance_blinding"]
714 pub fn reissuance_blinding(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
715 #[link_name = "rustsimplicity_0_7_c_reissuance_entropy"]
716 pub fn reissuance_entropy(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
717 #[link_name = "rustsimplicity_0_7_c_right_extend_16_32"]
718 pub fn right_extend_16_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
719 #[link_name = "rustsimplicity_0_7_c_right_extend_16_64"]
720 pub fn right_extend_16_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
721 #[link_name = "rustsimplicity_0_7_c_right_extend_32_64"]
722 pub fn right_extend_32_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
723 #[link_name = "rustsimplicity_0_7_c_right_extend_8_16"]
724 pub fn right_extend_8_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
725 #[link_name = "rustsimplicity_0_7_c_right_extend_8_32"]
726 pub fn right_extend_8_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
727 #[link_name = "rustsimplicity_0_7_c_right_extend_8_64"]
728 pub fn right_extend_8_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
729 #[link_name = "rustsimplicity_0_7_c_right_pad_high_16_32"]
730 pub fn right_pad_high_16_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
731 #[link_name = "rustsimplicity_0_7_c_right_pad_high_16_64"]
732 pub fn right_pad_high_16_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
733 #[link_name = "rustsimplicity_0_7_c_right_pad_high_1_16"]
734 pub fn right_pad_high_1_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
735 #[link_name = "rustsimplicity_0_7_c_right_pad_high_1_32"]
736 pub fn right_pad_high_1_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
737 #[link_name = "rustsimplicity_0_7_c_right_pad_high_1_64"]
738 pub fn right_pad_high_1_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
739 #[link_name = "rustsimplicity_0_7_c_right_pad_high_1_8"]
740 pub fn right_pad_high_1_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
741 #[link_name = "rustsimplicity_0_7_c_right_pad_high_32_64"]
742 pub fn right_pad_high_32_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
743 #[link_name = "rustsimplicity_0_7_c_right_pad_high_8_16"]
744 pub fn right_pad_high_8_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
745 #[link_name = "rustsimplicity_0_7_c_right_pad_high_8_32"]
746 pub fn right_pad_high_8_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
747 #[link_name = "rustsimplicity_0_7_c_right_pad_high_8_64"]
748 pub fn right_pad_high_8_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
749 #[link_name = "rustsimplicity_0_7_c_right_pad_low_16_32"]
750 pub fn right_pad_low_16_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
751 #[link_name = "rustsimplicity_0_7_c_right_pad_low_16_64"]
752 pub fn right_pad_low_16_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
753 #[link_name = "rustsimplicity_0_7_c_right_pad_low_1_16"]
754 pub fn right_pad_low_1_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
755 #[link_name = "rustsimplicity_0_7_c_right_pad_low_1_32"]
756 pub fn right_pad_low_1_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
757 #[link_name = "rustsimplicity_0_7_c_right_pad_low_1_64"]
758 pub fn right_pad_low_1_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
759 #[link_name = "rustsimplicity_0_7_c_right_pad_low_1_8"]
760 pub fn right_pad_low_1_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
761 #[link_name = "rustsimplicity_0_7_c_right_pad_low_32_64"]
762 pub fn right_pad_low_32_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
763 #[link_name = "rustsimplicity_0_7_c_right_pad_low_8_16"]
764 pub fn right_pad_low_8_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
765 #[link_name = "rustsimplicity_0_7_c_right_pad_low_8_32"]
766 pub fn right_pad_low_8_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
767 #[link_name = "rustsimplicity_0_7_c_right_pad_low_8_64"]
768 pub fn right_pad_low_8_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
769 #[link_name = "rustsimplicity_0_7_c_right_rotate_16"]
770 pub fn right_rotate_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
771 #[link_name = "rustsimplicity_0_7_c_right_rotate_32"]
772 pub fn right_rotate_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
773 #[link_name = "rustsimplicity_0_7_c_right_rotate_64"]
774 pub fn right_rotate_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
775 #[link_name = "rustsimplicity_0_7_c_right_rotate_8"]
776 pub fn right_rotate_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
777 #[link_name = "rustsimplicity_0_7_c_right_shift_16"]
778 pub fn right_shift_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
779 #[link_name = "rustsimplicity_0_7_c_right_shift_32"]
780 pub fn right_shift_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
781 #[link_name = "rustsimplicity_0_7_c_right_shift_64"]
782 pub fn right_shift_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
783 #[link_name = "rustsimplicity_0_7_c_right_shift_8"]
784 pub fn right_shift_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
785 #[link_name = "rustsimplicity_0_7_c_right_shift_with_16"]
786 pub fn right_shift_with_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
787 #[link_name = "rustsimplicity_0_7_c_right_shift_with_32"]
788 pub fn right_shift_with_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
789 #[link_name = "rustsimplicity_0_7_c_right_shift_with_64"]
790 pub fn right_shift_with_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
791 #[link_name = "rustsimplicity_0_7_c_right_shift_with_8"]
792 pub fn right_shift_with_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
793 #[link_name = "rustsimplicity_0_7_c_rightmost_16_1"]
794 pub fn rightmost_16_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
795 #[link_name = "rustsimplicity_0_7_c_rightmost_16_2"]
796 pub fn rightmost_16_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
797 #[link_name = "rustsimplicity_0_7_c_rightmost_16_4"]
798 pub fn rightmost_16_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
799 #[link_name = "rustsimplicity_0_7_c_rightmost_16_8"]
800 pub fn rightmost_16_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
801 #[link_name = "rustsimplicity_0_7_c_rightmost_32_1"]
802 pub fn rightmost_32_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
803 #[link_name = "rustsimplicity_0_7_c_rightmost_32_16"]
804 pub fn rightmost_32_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
805 #[link_name = "rustsimplicity_0_7_c_rightmost_32_2"]
806 pub fn rightmost_32_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
807 #[link_name = "rustsimplicity_0_7_c_rightmost_32_4"]
808 pub fn rightmost_32_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
809 #[link_name = "rustsimplicity_0_7_c_rightmost_32_8"]
810 pub fn rightmost_32_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
811 #[link_name = "rustsimplicity_0_7_c_rightmost_64_1"]
812 pub fn rightmost_64_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
813 #[link_name = "rustsimplicity_0_7_c_rightmost_64_16"]
814 pub fn rightmost_64_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
815 #[link_name = "rustsimplicity_0_7_c_rightmost_64_2"]
816 pub fn rightmost_64_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
817 #[link_name = "rustsimplicity_0_7_c_rightmost_64_32"]
818 pub fn rightmost_64_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
819 #[link_name = "rustsimplicity_0_7_c_rightmost_64_4"]
820 pub fn rightmost_64_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
821 #[link_name = "rustsimplicity_0_7_c_rightmost_64_8"]
822 pub fn rightmost_64_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
823 #[link_name = "rustsimplicity_0_7_c_rightmost_8_1"]
824 pub fn rightmost_8_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
825 #[link_name = "rustsimplicity_0_7_c_rightmost_8_2"]
826 pub fn rightmost_8_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
827 #[link_name = "rustsimplicity_0_7_c_rightmost_8_4"]
828 pub fn rightmost_8_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
829 #[link_name = "rustsimplicity_0_7_c_scalar_add"]
830 pub fn scalar_add(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
831 #[link_name = "rustsimplicity_0_7_c_scalar_invert"]
832 pub fn scalar_invert(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
833 #[link_name = "rustsimplicity_0_7_c_scalar_is_zero"]
834 pub fn scalar_is_zero(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
835 #[link_name = "rustsimplicity_0_7_c_scalar_multiply"]
836 pub fn scalar_multiply(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
837 #[link_name = "rustsimplicity_0_7_c_scalar_multiply_lambda"]
838 pub fn scalar_multiply_lambda(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
839 #[link_name = "rustsimplicity_0_7_c_scalar_negate"]
840 pub fn scalar_negate(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
841 #[link_name = "rustsimplicity_0_7_c_scalar_normalize"]
842 pub fn scalar_normalize(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
843 #[link_name = "rustsimplicity_0_7_c_scalar_square"]
844 pub fn scalar_square(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
845 #[link_name = "rustsimplicity_0_7_c_scale"]
846 pub fn scale(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
847 #[link_name = "rustsimplicity_0_7_c_script_cmr"]
848 pub fn script_cmr(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
849 #[link_name = "rustsimplicity_0_7_c_sha_256_block"]
850 pub fn sha_256_block(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
851 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_1"]
852 pub fn sha_256_ctx_8_add_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
853 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_128"]
854 pub fn sha_256_ctx_8_add_128(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
855 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_16"]
856 pub fn sha_256_ctx_8_add_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
857 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_2"]
858 pub fn sha_256_ctx_8_add_2(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
859 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_256"]
860 pub fn sha_256_ctx_8_add_256(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
861 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_32"]
862 pub fn sha_256_ctx_8_add_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
863 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_4"]
864 pub fn sha_256_ctx_8_add_4(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
865 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_512"]
866 pub fn sha_256_ctx_8_add_512(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
867 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_64"]
868 pub fn sha_256_ctx_8_add_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
869 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_8"]
870 pub fn sha_256_ctx_8_add_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
871 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_add_buffer_511"]
872 pub fn sha_256_ctx_8_add_buffer_511(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
873 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_finalize"]
874 pub fn sha_256_ctx_8_finalize(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
875 #[link_name = "rustsimplicity_0_7_c_sha_256_ctx_8_init"]
876 pub fn sha_256_ctx_8_init(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
877 #[link_name = "rustsimplicity_0_7_c_sha_256_iv"]
878 pub fn sha_256_iv(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
879 #[link_name = "rustsimplicity_0_7_c_sig_all_hash"]
880 pub fn sig_all_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
881 #[link_name = "rustsimplicity_0_7_c_some_1"]
882 pub fn some_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
883 #[link_name = "rustsimplicity_0_7_c_some_16"]
884 pub fn some_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
885 #[link_name = "rustsimplicity_0_7_c_some_32"]
886 pub fn some_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
887 #[link_name = "rustsimplicity_0_7_c_some_64"]
888 pub fn some_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
889 #[link_name = "rustsimplicity_0_7_c_some_8"]
890 pub fn some_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
891 #[link_name = "rustsimplicity_0_7_c_subtract_16"]
892 pub fn subtract_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
893 #[link_name = "rustsimplicity_0_7_c_subtract_32"]
894 pub fn subtract_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
895 #[link_name = "rustsimplicity_0_7_c_subtract_64"]
896 pub fn subtract_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
897 #[link_name = "rustsimplicity_0_7_c_subtract_8"]
898 pub fn subtract_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
899 #[link_name = "rustsimplicity_0_7_c_swu"]
900 pub fn swu(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
901 #[link_name = "rustsimplicity_0_7_c_tap_env_hash"]
902 pub fn tap_env_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
903 #[link_name = "rustsimplicity_0_7_c_tapdata_init"]
904 pub fn tapdata_init(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
905 #[link_name = "rustsimplicity_0_7_c_tapleaf_hash"]
906 pub fn tapleaf_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
907 #[link_name = "rustsimplicity_0_7_c_tapleaf_version"]
908 pub fn tapleaf_version(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
909 #[link_name = "rustsimplicity_0_7_c_tappath"]
910 pub fn tappath(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
911 #[link_name = "rustsimplicity_0_7_c_tappath_hash"]
912 pub fn tappath_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
913 #[link_name = "rustsimplicity_0_7_c_total_fee"]
914 pub fn total_fee(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
915 #[link_name = "rustsimplicity_0_7_c_transaction_id"]
916 pub fn transaction_id(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
917 #[link_name = "rustsimplicity_0_7_c_tx_hash"]
918 pub fn tx_hash(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
919 #[link_name = "rustsimplicity_0_7_c_tx_is_final"]
920 pub fn tx_is_final(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
921 #[link_name = "rustsimplicity_0_7_c_tx_lock_height"]
922 pub fn tx_lock_height(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
923 #[link_name = "rustsimplicity_0_7_c_tx_lock_time"]
924 pub fn tx_lock_time(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
925 #[link_name = "rustsimplicity_0_7_c_verify"]
926 pub fn verify(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
927 #[link_name = "rustsimplicity_0_7_c_version"]
928 pub fn version(dst: *mut CFrameItem, src: *const CFrameItem, env: *const CElementsTxEnv) -> bool;
929 #[link_name = "rustsimplicity_0_7_c_xor_1"]
930 pub fn xor_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
931 #[link_name = "rustsimplicity_0_7_c_xor_16"]
932 pub fn xor_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
933 #[link_name = "rustsimplicity_0_7_c_xor_32"]
934 pub fn xor_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
935 #[link_name = "rustsimplicity_0_7_c_xor_64"]
936 pub fn xor_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
937 #[link_name = "rustsimplicity_0_7_c_xor_8"]
938 pub fn xor_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
939 #[link_name = "rustsimplicity_0_7_c_xor_xor_1"]
940 pub fn xor_xor_1(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
941 #[link_name = "rustsimplicity_0_7_c_xor_xor_16"]
942 pub fn xor_xor_16(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
943 #[link_name = "rustsimplicity_0_7_c_xor_xor_32"]
944 pub fn xor_xor_32(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
945 #[link_name = "rustsimplicity_0_7_c_xor_xor_64"]
946 pub fn xor_xor_64(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
947 #[link_name = "rustsimplicity_0_7_c_xor_xor_8"]
948 pub fn xor_xor_8(dst: *mut CFrameItem, src: *const CFrameItem, env: *const c_void) -> bool;
949}