1use super::root;
2pub mod alloc {
3 #![doc = r##"This is the module [`::alloc`]."##]
4 use super::root;
5 pub mod alloc {
6 #![doc = r##"This is the module [`::alloc::alloc`]."##]
7 use super::root;
8 mk!(
9 Global,
10 r##"This is the struct [`::alloc::alloc::Global`]."##,
11 r##"["alloc",[[{"TypeNs":"alloc"},0],[{"TypeNs":"Global"},0]],"Struct"]"##,
12 ::core::option::Option::Some(root::alloc::alloc())
13 );
14 mk!(
15 Impl__1,
16 r##"This is an impl block."##,
17 r##"["alloc",[[{"TypeNs":"alloc"},0],["Impl",1]],{"Impl":{"of_trait":true}}]"##,
18 ::core::option::Option::Some(root::alloc::alloc())
19 );
20 mk!(
21 Impl__3,
22 r##"This is an impl block."##,
23 r##"["alloc",[[{"TypeNs":"alloc"},0],["Impl",3]],{"Impl":{"of_trait":true}}]"##,
24 ::core::option::Option::Some(root::alloc::alloc())
25 );
26 }
27 pub mod boxed {
28 #![doc = r##"This is the module [`::alloc::boxed`]."##]
29 use super::root;
30 pub mod Impl {
31 #![doc = r##"This is an impl block."##]
32 use super::root;
33 mk!(
34 new,
35 r##"This is the associated function [`::alloc::boxed::Impl::new`]."##,
36 r##"["alloc",[[{"TypeNs":"boxed"},0],["Impl",0],[{"ValueNs":"new"},0]],"AssocFn"]"##,
37 ::core::option::Option::Some(root::alloc::boxed::Impl())
38 );
39 }
40 mk!(
41 Box,
42 r##"This is the struct [`::alloc::boxed::Box`]."##,
43 r##"["alloc",[[{"TypeNs":"boxed"},0],[{"TypeNs":"Box"},0]],"Struct"]"##,
44 ::core::option::Option::Some(root::alloc::boxed())
45 );
46 mk!(
47 Impl,
48 r##"This is an impl block."##,
49 r##"["alloc",[[{"TypeNs":"boxed"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
50 ::core::option::Option::Some(root::alloc::boxed())
51 );
52 }
53 pub mod slice {
54 #![doc = r##"This is the module [`::alloc::slice`]."##]
55 use super::root;
56 pub mod Concat {
57 #![doc = r##"This is the trait [`::alloc::slice::Concat`]."##]
58 use super::root;
59 mk!(
60 Output,
61 r##"This is the associated type [`::alloc::slice::Concat::Output`]."##,
62 r##"["alloc",[[{"TypeNs":"slice"},0],[{"TypeNs":"Concat"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
63 ::core::option::Option::Some(root::alloc::slice::Concat())
64 );
65 }
66 pub mod Impl {
67 #![doc = r##"This is an impl block."##]
68 use super::root;
69 mk!(
70 concat,
71 r##"This is the associated function [`::alloc::slice::Impl::concat`]."##,
72 r##"["alloc",[[{"TypeNs":"slice"},0],["Impl",0],[{"ValueNs":"concat"},0]],"AssocFn"]"##,
73 ::core::option::Option::Some(root::alloc::slice::Impl())
74 );
75 mk!(
76 into_vec,
77 r##"This is the associated function [`::alloc::slice::Impl::into_vec`]."##,
78 r##"["alloc",[[{"TypeNs":"slice"},0],["Impl",0],[{"ValueNs":"into_vec"},0]],"AssocFn"]"##,
79 ::core::option::Option::Some(root::alloc::slice::Impl())
80 );
81 mk!(
82 to_vec,
83 r##"This is the associated function [`::alloc::slice::Impl::to_vec`]."##,
84 r##"["alloc",[[{"TypeNs":"slice"},0],["Impl",0],[{"ValueNs":"to_vec"},0]],"AssocFn"]"##,
85 ::core::option::Option::Some(root::alloc::slice::Impl())
86 );
87 }
88 mk!(
89 Concat,
90 r##"This is the trait [`::alloc::slice::Concat`]."##,
91 r##"["alloc",[[{"TypeNs":"slice"},0],[{"TypeNs":"Concat"},0]],"Trait"]"##,
92 ::core::option::Option::Some(root::alloc::slice())
93 );
94 mk!(
95 Impl,
96 r##"This is an impl block."##,
97 r##"["alloc",[[{"TypeNs":"slice"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
98 ::core::option::Option::Some(root::alloc::slice())
99 );
100 mk!(
101 Impl__2,
102 r##"This is an impl block."##,
103 r##"["alloc",[[{"TypeNs":"slice"},0],["Impl",2]],{"Impl":{"of_trait":true}}]"##,
104 ::core::option::Option::Some(root::alloc::slice())
105 );
106 }
107 pub mod string {
108 #![doc = r##"This is the module [`::alloc::string`]."##]
109 use super::root;
110 mk!(
111 String,
112 r##"This is the struct [`::alloc::string::String`]."##,
113 r##"["alloc",[[{"TypeNs":"string"},0],[{"TypeNs":"String"},0]],"Struct"]"##,
114 ::core::option::Option::Some(root::alloc::string())
115 );
116 }
117 pub mod vec {
118 #![doc = r##"This is the module [`::alloc::vec`]."##]
119 use super::root;
120 pub mod Impl__1 {
121 #![doc = r##"This is an impl block."##]
122 use super::root;
123 mk!(
124 truncate,
125 r##"This is the associated function [`::alloc::vec::Impl__1::truncate`]."##,
126 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",1],[{"ValueNs":"truncate"},0]],"AssocFn"]"##,
127 ::core::option::Option::Some(root::alloc::vec::Impl__1())
128 );
129 }
130 pub mod Impl__2 {
131 #![doc = r##"This is an impl block."##]
132 use super::root;
133 mk!(
134 extend_from_slice,
135 r##"This is the associated function [`::alloc::vec::Impl__2::extend_from_slice`]."##,
136 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",2],[{"ValueNs":"extend_from_slice"},0]],"AssocFn"]"##,
137 ::core::option::Option::Some(root::alloc::vec::Impl__2())
138 );
139 }
140 mk!(
141 Impl__1,
142 r##"This is an impl block."##,
143 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",1]],{"Impl":{"of_trait":false}}]"##,
144 ::core::option::Option::Some(root::alloc::vec())
145 );
146 mk!(
147 Impl__11,
148 r##"This is an impl block."##,
149 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",11]],{"Impl":{"of_trait":true}}]"##,
150 ::core::option::Option::Some(root::alloc::vec())
151 );
152 mk!(
153 Impl__13,
154 r##"This is an impl block."##,
155 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",13]],{"Impl":{"of_trait":true}}]"##,
156 ::core::option::Option::Some(root::alloc::vec())
157 );
158 mk!(
159 Impl__2,
160 r##"This is an impl block."##,
161 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",2]],{"Impl":{"of_trait":false}}]"##,
162 ::core::option::Option::Some(root::alloc::vec())
163 );
164 mk!(
165 Impl__8,
166 r##"This is an impl block."##,
167 r##"["alloc",[[{"TypeNs":"vec"},0],["Impl",8]],{"Impl":{"of_trait":true}}]"##,
168 ::core::option::Option::Some(root::alloc::vec())
169 );
170 mk!(
171 Vec,
172 r##"This is the struct [`::alloc::vec::Vec`]."##,
173 r##"["alloc",[[{"TypeNs":"vec"},0],[{"TypeNs":"Vec"},0]],"Struct"]"##,
174 ::core::option::Option::Some(root::alloc::vec())
175 );
176 mk!(
177 from_elem,
178 r##"This is the function [`::alloc::vec::from_elem`]."##,
179 r##"["alloc",[[{"TypeNs":"vec"},0],[{"ValueNs":"from_elem"},0]],"Fn"]"##,
180 ::core::option::Option::Some(root::alloc::vec())
181 );
182 }
183 mk!(
184 alloc,
185 r##"This is the module [`::alloc::alloc`]."##,
186 r##"["alloc",[[{"TypeNs":"alloc"},0]],"Mod"]"##,
187 ::core::option::Option::Some(root::alloc())
188 );
189 mk!(
190 boxed,
191 r##"This is the module [`::alloc::boxed`]."##,
192 r##"["alloc",[[{"TypeNs":"boxed"},0]],"Mod"]"##,
193 ::core::option::Option::Some(root::alloc())
194 );
195 mk!(
196 slice,
197 r##"This is the module [`::alloc::slice`]."##,
198 r##"["alloc",[[{"TypeNs":"slice"},0]],"Mod"]"##,
199 ::core::option::Option::Some(root::alloc())
200 );
201 mk!(
202 string,
203 r##"This is the module [`::alloc::string`]."##,
204 r##"["alloc",[[{"TypeNs":"string"},0]],"Mod"]"##,
205 ::core::option::Option::Some(root::alloc())
206 );
207 mk!(
208 vec,
209 r##"This is the module [`::alloc::vec`]."##,
210 r##"["alloc",[[{"TypeNs":"vec"},0]],"Mod"]"##,
211 ::core::option::Option::Some(root::alloc())
212 );
213}
214pub mod core {
215 #![doc = r##"This is the module [`::core`]."##]
216 use super::root;
217 pub mod alloc {
218 #![doc = r##"This is the module [`::core::alloc`]."##]
219 use super::root;
220 mk!(
221 Allocator,
222 r##"This is the trait [`::core::alloc::Allocator`]."##,
223 r##"["core",[[{"TypeNs":"alloc"},0],[{"TypeNs":"Allocator"},0]],"Trait"]"##,
224 ::core::option::Option::Some(root::core::alloc())
225 );
226 }
227 pub mod array {
228 #![doc = r##"This is the module [`::core::array`]."##]
229 use super::root;
230 pub mod iter {
231 #![doc = r##"This is the module [`::core::array::iter`]."##]
232 use super::root;
233 mk!(
234 Impl__1,
235 r##"This is an impl block."##,
236 r##"["core",[[{"TypeNs":"array"},0],[{"TypeNs":"iter"},0],["Impl",1]],{"Impl":{"of_trait":true}}]"##,
237 ::core::option::Option::Some(root::core::array::iter())
238 );
239 mk!(
240 IntoIter,
241 r##"This is the struct [`::core::array::iter::IntoIter`]."##,
242 r##"["core",[[{"TypeNs":"array"},0],[{"TypeNs":"iter"},0],[{"TypeNs":"IntoIter"},0]],"Struct"]"##,
243 ::core::option::Option::Some(root::core::array::iter())
244 );
245 }
246 mk!(
247 iter,
248 r##"This is the module [`::core::array::iter`]."##,
249 r##"["core",[[{"TypeNs":"array"},0],[{"TypeNs":"iter"},0]],"Mod"]"##,
250 ::core::option::Option::Some(root::core::array())
251 );
252 }
253 pub mod borrow {
254 #![doc = r##"This is the module [`::core::borrow`]."##]
255 use super::root;
256 mk!(
257 Borrow,
258 r##"This is the trait [`::core::borrow::Borrow`]."##,
259 r##"["core",[[{"TypeNs":"borrow"},0],[{"TypeNs":"Borrow"},0]],"Trait"]"##,
260 ::core::option::Option::Some(root::core::borrow())
261 );
262 mk!(
263 Impl__2,
264 r##"This is an impl block."##,
265 r##"["core",[[{"TypeNs":"borrow"},0],["Impl",2]],{"Impl":{"of_trait":true}}]"##,
266 ::core::option::Option::Some(root::core::borrow())
267 );
268 }
269 pub mod clone {
270 #![doc = r##"This is the module [`::core::clone`]."##]
271 use super::root;
272 pub mod Clone {
273 #![doc = r##"This is the trait [`::core::clone::Clone`]."##]
274 use super::root;
275 mk!(
276 clone,
277 r##"This is the associated function [`::core::clone::Clone::clone`]."##,
278 r##"["core",[[{"TypeNs":"clone"},0],[{"TypeNs":"Clone"},0],[{"ValueNs":"clone"},0]],"AssocFn"]"##,
279 ::core::option::Option::Some(root::core::clone::Clone())
280 );
281 }
282 pub mod impls {
283 #![doc = r##"This is the module [`::core::clone::impls`]."##]
284 use super::root;
285 mk!(
286 Impl__6,
287 r##"This is an impl block."##,
288 r##"["core",[[{"TypeNs":"clone"},0],[{"TypeNs":"impls"},0],["Impl",6]],{"Impl":{"of_trait":true}}]"##,
289 ::core::option::Option::Some(root::core::clone::impls())
290 );
291 }
292 mk!(
293 Clone,
294 r##"This is the trait [`::core::clone::Clone`]."##,
295 r##"["core",[[{"TypeNs":"clone"},0],[{"TypeNs":"Clone"},0]],"Trait"]"##,
296 ::core::option::Option::Some(root::core::clone())
297 );
298 mk!(
299 impls,
300 r##"This is the module [`::core::clone::impls`]."##,
301 r##"["core",[[{"TypeNs":"clone"},0],[{"TypeNs":"impls"},0]],"Mod"]"##,
302 ::core::option::Option::Some(root::core::clone())
303 );
304 }
305 pub mod cmp {
306 #![doc = r##"This is the module [`::core::cmp`]."##]
307 use super::root;
308 pub mod PartialEq {
309 #![doc = r##"This is the trait [`::core::cmp::PartialEq`]."##]
310 use super::root;
311 mk!(
312 eq,
313 r##"This is the associated function [`::core::cmp::PartialEq::eq`]."##,
314 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialEq"},0],[{"ValueNs":"eq"},0]],"AssocFn"]"##,
315 ::core::option::Option::Some(root::core::cmp::PartialEq())
316 );
317 mk!(
318 ne,
319 r##"This is the associated function [`::core::cmp::PartialEq::ne`]."##,
320 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialEq"},0],[{"ValueNs":"ne"},0]],"AssocFn"]"##,
321 ::core::option::Option::Some(root::core::cmp::PartialEq())
322 );
323 }
324 pub mod PartialOrd {
325 #![doc = r##"This is the trait [`::core::cmp::PartialOrd`]."##]
326 use super::root;
327 mk!(
328 ge,
329 r##"This is the associated function [`::core::cmp::PartialOrd::ge`]."##,
330 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialOrd"},0],[{"ValueNs":"ge"},0]],"AssocFn"]"##,
331 ::core::option::Option::Some(root::core::cmp::PartialOrd())
332 );
333 mk!(
334 gt,
335 r##"This is the associated function [`::core::cmp::PartialOrd::gt`]."##,
336 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialOrd"},0],[{"ValueNs":"gt"},0]],"AssocFn"]"##,
337 ::core::option::Option::Some(root::core::cmp::PartialOrd())
338 );
339 mk!(
340 le,
341 r##"This is the associated function [`::core::cmp::PartialOrd::le`]."##,
342 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialOrd"},0],[{"ValueNs":"le"},0]],"AssocFn"]"##,
343 ::core::option::Option::Some(root::core::cmp::PartialOrd())
344 );
345 mk!(
346 lt,
347 r##"This is the associated function [`::core::cmp::PartialOrd::lt`]."##,
348 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialOrd"},0],[{"ValueNs":"lt"},0]],"AssocFn"]"##,
349 ::core::option::Option::Some(root::core::cmp::PartialOrd())
350 );
351 }
352 mk!(
353 PartialEq,
354 r##"This is the trait [`::core::cmp::PartialEq`]."##,
355 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialEq"},0]],"Trait"]"##,
356 ::core::option::Option::Some(root::core::cmp())
357 );
358 mk!(
359 PartialOrd,
360 r##"This is the trait [`::core::cmp::PartialOrd`]."##,
361 r##"["core",[[{"TypeNs":"cmp"},0],[{"TypeNs":"PartialOrd"},0]],"Trait"]"##,
362 ::core::option::Option::Some(root::core::cmp())
363 );
364 }
365 pub mod convert {
366 #![doc = r##"This is the module [`::core::convert`]."##]
367 use super::root;
368 pub mod From {
369 #![doc = r##"This is the trait [`::core::convert::From`]."##]
370 use super::root;
371 mk!(
372 from,
373 r##"This is the associated function [`::core::convert::From::from`]."##,
374 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"From"},0],[{"ValueNs":"from"},0]],"AssocFn"]"##,
375 ::core::option::Option::Some(root::core::convert::From())
376 );
377 }
378 pub mod Into {
379 #![doc = r##"This is the trait [`::core::convert::Into`]."##]
380 use super::root;
381 mk!(
382 into,
383 r##"This is the associated function [`::core::convert::Into::into`]."##,
384 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"Into"},0],[{"ValueNs":"into"},0]],"AssocFn"]"##,
385 ::core::option::Option::Some(root::core::convert::Into())
386 );
387 }
388 pub mod num {
389 #![doc = r##"This is the module [`::core::convert::num`]."##]
390 use super::root;
391 mk!(
392 Impl__64,
393 r##"This is an impl block."##,
394 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"num"},0],["Impl",64]],{"Impl":{"of_trait":true}}]"##,
395 ::core::option::Option::Some(root::core::convert::num())
396 );
397 mk!(
398 Impl__88,
399 r##"This is an impl block."##,
400 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"num"},0],["Impl",88]],{"Impl":{"of_trait":true}}]"##,
401 ::core::option::Option::Some(root::core::convert::num())
402 );
403 }
404 mk!(
405 From,
406 r##"This is the trait [`::core::convert::From`]."##,
407 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"From"},0]],"Trait"]"##,
408 ::core::option::Option::Some(root::core::convert())
409 );
410 mk!(
411 Impl__3,
412 r##"This is an impl block."##,
413 r##"["core",[[{"TypeNs":"convert"},0],["Impl",3]],{"Impl":{"of_trait":true}}]"##,
414 ::core::option::Option::Some(root::core::convert())
415 );
416 mk!(
417 Impl__4,
418 r##"This is an impl block."##,
419 r##"["core",[[{"TypeNs":"convert"},0],["Impl",4]],{"Impl":{"of_trait":true}}]"##,
420 ::core::option::Option::Some(root::core::convert())
421 );
422 mk!(
423 Infallible,
424 r##"This is the enum [`::core::convert::Infallible`]."##,
425 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"Infallible"},0]],"Enum"]"##,
426 ::core::option::Option::Some(root::core::convert())
427 );
428 mk!(
429 Into,
430 r##"This is the trait [`::core::convert::Into`]."##,
431 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"Into"},0]],"Trait"]"##,
432 ::core::option::Option::Some(root::core::convert())
433 );
434 mk!(
435 num,
436 r##"This is the module [`::core::convert::num`]."##,
437 r##"["core",[[{"TypeNs":"convert"},0],[{"TypeNs":"num"},0]],"Mod"]"##,
438 ::core::option::Option::Some(root::core::convert())
439 );
440 }
441 pub mod fmt {
442 #![doc = r##"This is the module [`::core::fmt`]."##]
443 use super::root;
444 pub mod num {
445 #![doc = r##"This is the module [`::core::fmt::num`]."##]
446 use super::root;
447 mk!(
448 Impl__82,
449 r##"This is an impl block."##,
450 r##"["core",[[{"TypeNs":"fmt"},0],[{"TypeNs":"num"},0],["Impl",82]],{"Impl":{"of_trait":true}}]"##,
451 ::core::option::Option::Some(root::core::fmt::num())
452 );
453 }
454 mk!(
455 Arguments,
456 r##"This is the struct [`::core::fmt::Arguments`]."##,
457 r##"["core",[[{"TypeNs":"fmt"},0],[{"TypeNs":"Arguments"},0]],"Struct"]"##,
458 ::core::option::Option::Some(root::core::fmt())
459 );
460 mk!(
461 Debug,
462 r##"This is the trait [`::core::fmt::Debug`]."##,
463 r##"["core",[[{"TypeNs":"fmt"},0],[{"TypeNs":"Debug"},0]],"Trait"]"##,
464 ::core::option::Option::Some(root::core::fmt())
465 );
466 mk!(
467 num,
468 r##"This is the module [`::core::fmt::num`]."##,
469 r##"["core",[[{"TypeNs":"fmt"},0],[{"TypeNs":"num"},0]],"Mod"]"##,
470 ::core::option::Option::Some(root::core::fmt())
471 );
472 }
473 pub mod iter {
474 #![doc = r##"This is the module [`::core::iter`]."##]
475 use super::root;
476 pub mod adapters {
477 #![doc = r##"This is the module [`::core::iter::adapters`]."##]
478 use super::root;
479 pub mod enumerate {
480 #![doc = r##"This is the module [`::core::iter::adapters::enumerate`]."##]
481 use super::root;
482 mk!(
483 Enumerate,
484 r##"This is the struct [`::core::iter::adapters::enumerate::Enumerate`]."##,
485 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"adapters"},0],[{"TypeNs":"enumerate"},0],[{"TypeNs":"Enumerate"},0]],"Struct"]"##,
486 ::core::option::Option::Some(root::core::iter::adapters::enumerate())
487 );
488 }
489 pub mod step_by {
490 #![doc = r##"This is the module [`::core::iter::adapters::step_by`]."##]
491 use super::root;
492 mk!(
493 StepBy,
494 r##"This is the struct [`::core::iter::adapters::step_by::StepBy`]."##,
495 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"adapters"},0],[{"TypeNs":"step_by"},0],[{"TypeNs":"StepBy"},0]],"Struct"]"##,
496 ::core::option::Option::Some(root::core::iter::adapters::step_by())
497 );
498 }
499 mk!(
500 enumerate,
501 r##"This is the module [`::core::iter::adapters::enumerate`]."##,
502 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"adapters"},0],[{"TypeNs":"enumerate"},0]],"Mod"]"##,
503 ::core::option::Option::Some(root::core::iter::adapters())
504 );
505 mk!(
506 step_by,
507 r##"This is the module [`::core::iter::adapters::step_by`]."##,
508 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"adapters"},0],[{"TypeNs":"step_by"},0]],"Mod"]"##,
509 ::core::option::Option::Some(root::core::iter::adapters())
510 );
511 }
512 pub mod traits {
513 #![doc = r##"This is the module [`::core::iter::traits`]."##]
514 use super::root;
515 pub mod collect {
516 #![doc = r##"This is the module [`::core::iter::traits::collect`]."##]
517 use super::root;
518 pub mod IntoIterator {
519 #![doc = r##"This is the trait [`::core::iter::traits::collect::IntoIterator`]."##]
520 use super::root;
521 mk!(
522 IntoIter,
523 r##"This is the associated type [`::core::iter::traits::collect::IntoIterator::IntoIter`]."##,
524 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"collect"},0],[{"TypeNs":"IntoIterator"},0],[{"TypeNs":"IntoIter"},0]],"AssocTy"]"##,
525 ::core::option::Option::Some(
526 root::core::iter::traits::collect::IntoIterator()
527 )
528 );
529 mk!(
530 into_iter,
531 r##"This is the associated function [`::core::iter::traits::collect::IntoIterator::into_iter`]."##,
532 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"collect"},0],[{"TypeNs":"IntoIterator"},0],[{"ValueNs":"into_iter"},0]],"AssocFn"]"##,
533 ::core::option::Option::Some(
534 root::core::iter::traits::collect::IntoIterator()
535 )
536 );
537 }
538 mk!(
539 IntoIterator,
540 r##"This is the trait [`::core::iter::traits::collect::IntoIterator`]."##,
541 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"collect"},0],[{"TypeNs":"IntoIterator"},0]],"Trait"]"##,
542 ::core::option::Option::Some(root::core::iter::traits::collect())
543 );
544 }
545 pub mod iterator {
546 #![doc = r##"This is the module [`::core::iter::traits::iterator`]."##]
547 use super::root;
548 pub mod Iterator {
549 #![doc = r##"This is the trait [`::core::iter::traits::iterator::Iterator`]."##]
550 use super::root;
551 mk!(
552 Item,
553 r##"This is the associated type [`::core::iter::traits::iterator::Iterator::Item`]."##,
554 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0],[{"TypeNs":"Iterator"},0],[{"TypeNs":"Item"},0]],"AssocTy"]"##,
555 ::core::option::Option::Some(root::core::iter::traits::iterator::Iterator())
556 );
557 mk!(
558 enumerate,
559 r##"This is the associated function [`::core::iter::traits::iterator::Iterator::enumerate`]."##,
560 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0],[{"TypeNs":"Iterator"},0],[{"ValueNs":"enumerate"},0]],"AssocFn"]"##,
561 ::core::option::Option::Some(root::core::iter::traits::iterator::Iterator())
562 );
563 mk!(
564 fold,
565 r##"This is the associated function [`::core::iter::traits::iterator::Iterator::fold`]."##,
566 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0],[{"TypeNs":"Iterator"},0],[{"ValueNs":"fold"},0]],"AssocFn"]"##,
567 ::core::option::Option::Some(root::core::iter::traits::iterator::Iterator())
568 );
569 mk!(
570 next,
571 r##"This is the associated function [`::core::iter::traits::iterator::Iterator::next`]."##,
572 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0],[{"TypeNs":"Iterator"},0],[{"ValueNs":"next"},0]],"AssocFn"]"##,
573 ::core::option::Option::Some(root::core::iter::traits::iterator::Iterator())
574 );
575 mk!(
576 step_by,
577 r##"This is the associated function [`::core::iter::traits::iterator::Iterator::step_by`]."##,
578 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0],[{"TypeNs":"Iterator"},0],[{"ValueNs":"step_by"},0]],"AssocFn"]"##,
579 ::core::option::Option::Some(root::core::iter::traits::iterator::Iterator())
580 );
581 }
582 mk!(
583 Iterator,
584 r##"This is the trait [`::core::iter::traits::iterator::Iterator`]."##,
585 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0],[{"TypeNs":"Iterator"},0]],"Trait"]"##,
586 ::core::option::Option::Some(root::core::iter::traits::iterator())
587 );
588 }
589 mk!(
590 collect,
591 r##"This is the module [`::core::iter::traits::collect`]."##,
592 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"collect"},0]],"Mod"]"##,
593 ::core::option::Option::Some(root::core::iter::traits())
594 );
595 mk!(
596 iterator,
597 r##"This is the module [`::core::iter::traits::iterator`]."##,
598 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0],[{"TypeNs":"iterator"},0]],"Mod"]"##,
599 ::core::option::Option::Some(root::core::iter::traits())
600 );
601 }
602 mk!(
603 adapters,
604 r##"This is the module [`::core::iter::adapters`]."##,
605 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"adapters"},0]],"Mod"]"##,
606 ::core::option::Option::Some(root::core::iter())
607 );
608 mk!(
609 traits,
610 r##"This is the module [`::core::iter::traits`]."##,
611 r##"["core",[[{"TypeNs":"iter"},0],[{"TypeNs":"traits"},0]],"Mod"]"##,
612 ::core::option::Option::Some(root::core::iter())
613 );
614 }
615 pub mod marker {
616 #![doc = r##"This is the module [`::core::marker`]."##]
617 use super::root;
618 mk!(
619 Copy,
620 r##"This is the trait [`::core::marker::Copy`]."##,
621 r##"["core",[[{"TypeNs":"marker"},0],[{"TypeNs":"Copy"},0]],"Trait"]"##,
622 ::core::option::Option::Some(root::core::marker())
623 );
624 }
625 pub mod num {
626 #![doc = r##"This is the module [`::core::num`]."##]
627 use super::root;
628 pub mod Impl__9 {
629 #![doc = r##"This is an impl block."##]
630 use super::root;
631 mk!(
632 to_le_bytes,
633 r##"This is the associated function [`::core::num::Impl__9::to_le_bytes`]."##,
634 r##"["core",[[{"TypeNs":"num"},0],["Impl",9],[{"ValueNs":"to_le_bytes"},0]],"AssocFn"]"##,
635 ::core::option::Option::Some(root::core::num::Impl__9())
636 );
637 }
638 mk!(
639 Impl__9,
640 r##"This is an impl block."##,
641 r##"["core",[[{"TypeNs":"num"},0],["Impl",9]],{"Impl":{"of_trait":false}}]"##,
642 ::core::option::Option::Some(root::core::num())
643 );
644 }
645 pub mod ops {
646 #![doc = r##"This is the module [`::core::ops`]."##]
647 use super::root;
648 pub mod arith {
649 #![doc = r##"This is the module [`::core::ops::arith`]."##]
650 use super::root;
651 pub mod Add {
652 #![doc = r##"This is the trait [`::core::ops::arith::Add`]."##]
653 use super::root;
654 mk!(
655 Output,
656 r##"This is the associated type [`::core::ops::arith::Add::Output`]."##,
657 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Add"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
658 ::core::option::Option::Some(root::core::ops::arith::Add())
659 );
660 mk!(
661 add,
662 r##"This is the associated function [`::core::ops::arith::Add::add`]."##,
663 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Add"},0],[{"ValueNs":"add"},0]],"AssocFn"]"##,
664 ::core::option::Option::Some(root::core::ops::arith::Add())
665 );
666 }
667 pub mod Div {
668 #![doc = r##"This is the trait [`::core::ops::arith::Div`]."##]
669 use super::root;
670 mk!(
671 Output,
672 r##"This is the associated type [`::core::ops::arith::Div::Output`]."##,
673 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Div"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
674 ::core::option::Option::Some(root::core::ops::arith::Div())
675 );
676 mk!(
677 div,
678 r##"This is the associated function [`::core::ops::arith::Div::div`]."##,
679 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Div"},0],[{"ValueNs":"div"},0]],"AssocFn"]"##,
680 ::core::option::Option::Some(root::core::ops::arith::Div())
681 );
682 }
683 pub mod Mul {
684 #![doc = r##"This is the trait [`::core::ops::arith::Mul`]."##]
685 use super::root;
686 mk!(
687 Output,
688 r##"This is the associated type [`::core::ops::arith::Mul::Output`]."##,
689 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Mul"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
690 ::core::option::Option::Some(root::core::ops::arith::Mul())
691 );
692 mk!(
693 mul,
694 r##"This is the associated function [`::core::ops::arith::Mul::mul`]."##,
695 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Mul"},0],[{"ValueNs":"mul"},0]],"AssocFn"]"##,
696 ::core::option::Option::Some(root::core::ops::arith::Mul())
697 );
698 }
699 pub mod Neg {
700 #![doc = r##"This is the trait [`::core::ops::arith::Neg`]."##]
701 use super::root;
702 mk!(
703 Output,
704 r##"This is the associated type [`::core::ops::arith::Neg::Output`]."##,
705 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Neg"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
706 ::core::option::Option::Some(root::core::ops::arith::Neg())
707 );
708 mk!(
709 neg,
710 r##"This is the associated function [`::core::ops::arith::Neg::neg`]."##,
711 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Neg"},0],[{"ValueNs":"neg"},0]],"AssocFn"]"##,
712 ::core::option::Option::Some(root::core::ops::arith::Neg())
713 );
714 }
715 pub mod Rem {
716 #![doc = r##"This is the trait [`::core::ops::arith::Rem`]."##]
717 use super::root;
718 mk!(
719 Output,
720 r##"This is the associated type [`::core::ops::arith::Rem::Output`]."##,
721 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Rem"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
722 ::core::option::Option::Some(root::core::ops::arith::Rem())
723 );
724 mk!(
725 rem,
726 r##"This is the associated function [`::core::ops::arith::Rem::rem`]."##,
727 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Rem"},0],[{"ValueNs":"rem"},0]],"AssocFn"]"##,
728 ::core::option::Option::Some(root::core::ops::arith::Rem())
729 );
730 }
731 pub mod Sub {
732 #![doc = r##"This is the trait [`::core::ops::arith::Sub`]."##]
733 use super::root;
734 mk!(
735 Output,
736 r##"This is the associated type [`::core::ops::arith::Sub::Output`]."##,
737 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Sub"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
738 ::core::option::Option::Some(root::core::ops::arith::Sub())
739 );
740 mk!(
741 sub,
742 r##"This is the associated function [`::core::ops::arith::Sub::sub`]."##,
743 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Sub"},0],[{"ValueNs":"sub"},0]],"AssocFn"]"##,
744 ::core::option::Option::Some(root::core::ops::arith::Sub())
745 );
746 }
747 mk!(
748 Add,
749 r##"This is the trait [`::core::ops::arith::Add`]."##,
750 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Add"},0]],"Trait"]"##,
751 ::core::option::Option::Some(root::core::ops::arith())
752 );
753 mk!(
754 Div,
755 r##"This is the trait [`::core::ops::arith::Div`]."##,
756 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Div"},0]],"Trait"]"##,
757 ::core::option::Option::Some(root::core::ops::arith())
758 );
759 mk!(
760 Mul,
761 r##"This is the trait [`::core::ops::arith::Mul`]."##,
762 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Mul"},0]],"Trait"]"##,
763 ::core::option::Option::Some(root::core::ops::arith())
764 );
765 mk!(
766 Neg,
767 r##"This is the trait [`::core::ops::arith::Neg`]."##,
768 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Neg"},0]],"Trait"]"##,
769 ::core::option::Option::Some(root::core::ops::arith())
770 );
771 mk!(
772 Rem,
773 r##"This is the trait [`::core::ops::arith::Rem`]."##,
774 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Rem"},0]],"Trait"]"##,
775 ::core::option::Option::Some(root::core::ops::arith())
776 );
777 mk!(
778 Sub,
779 r##"This is the trait [`::core::ops::arith::Sub`]."##,
780 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0],[{"TypeNs":"Sub"},0]],"Trait"]"##,
781 ::core::option::Option::Some(root::core::ops::arith())
782 );
783 }
784 pub mod bit {
785 #![doc = r##"This is the module [`::core::ops::bit`]."##]
786 use super::root;
787 pub mod BitAnd {
788 #![doc = r##"This is the trait [`::core::ops::bit::BitAnd`]."##]
789 use super::root;
790 mk!(
791 Output,
792 r##"This is the associated type [`::core::ops::bit::BitAnd::Output`]."##,
793 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitAnd"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
794 ::core::option::Option::Some(root::core::ops::bit::BitAnd())
795 );
796 mk!(
797 bitand,
798 r##"This is the associated function [`::core::ops::bit::BitAnd::bitand`]."##,
799 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitAnd"},0],[{"ValueNs":"bitand"},0]],"AssocFn"]"##,
800 ::core::option::Option::Some(root::core::ops::bit::BitAnd())
801 );
802 }
803 pub mod BitOr {
804 #![doc = r##"This is the trait [`::core::ops::bit::BitOr`]."##]
805 use super::root;
806 mk!(
807 Output,
808 r##"This is the associated type [`::core::ops::bit::BitOr::Output`]."##,
809 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitOr"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
810 ::core::option::Option::Some(root::core::ops::bit::BitOr())
811 );
812 mk!(
813 bitor,
814 r##"This is the associated function [`::core::ops::bit::BitOr::bitor`]."##,
815 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitOr"},0],[{"ValueNs":"bitor"},0]],"AssocFn"]"##,
816 ::core::option::Option::Some(root::core::ops::bit::BitOr())
817 );
818 }
819 pub mod BitXor {
820 #![doc = r##"This is the trait [`::core::ops::bit::BitXor`]."##]
821 use super::root;
822 mk!(
823 Output,
824 r##"This is the associated type [`::core::ops::bit::BitXor::Output`]."##,
825 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitXor"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
826 ::core::option::Option::Some(root::core::ops::bit::BitXor())
827 );
828 mk!(
829 bitxor,
830 r##"This is the associated function [`::core::ops::bit::BitXor::bitxor`]."##,
831 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitXor"},0],[{"ValueNs":"bitxor"},0]],"AssocFn"]"##,
832 ::core::option::Option::Some(root::core::ops::bit::BitXor())
833 );
834 }
835 pub mod Not {
836 #![doc = r##"This is the trait [`::core::ops::bit::Not`]."##]
837 use super::root;
838 mk!(
839 Output,
840 r##"This is the associated type [`::core::ops::bit::Not::Output`]."##,
841 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Not"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
842 ::core::option::Option::Some(root::core::ops::bit::Not())
843 );
844 mk!(
845 not,
846 r##"This is the associated function [`::core::ops::bit::Not::not`]."##,
847 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Not"},0],[{"ValueNs":"not"},0]],"AssocFn"]"##,
848 ::core::option::Option::Some(root::core::ops::bit::Not())
849 );
850 }
851 pub mod Shl {
852 #![doc = r##"This is the trait [`::core::ops::bit::Shl`]."##]
853 use super::root;
854 mk!(
855 Output,
856 r##"This is the associated type [`::core::ops::bit::Shl::Output`]."##,
857 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Shl"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
858 ::core::option::Option::Some(root::core::ops::bit::Shl())
859 );
860 mk!(
861 shl,
862 r##"This is the associated function [`::core::ops::bit::Shl::shl`]."##,
863 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Shl"},0],[{"ValueNs":"shl"},0]],"AssocFn"]"##,
864 ::core::option::Option::Some(root::core::ops::bit::Shl())
865 );
866 }
867 pub mod Shr {
868 #![doc = r##"This is the trait [`::core::ops::bit::Shr`]."##]
869 use super::root;
870 mk!(
871 Output,
872 r##"This is the associated type [`::core::ops::bit::Shr::Output`]."##,
873 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Shr"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
874 ::core::option::Option::Some(root::core::ops::bit::Shr())
875 );
876 mk!(
877 shr,
878 r##"This is the associated function [`::core::ops::bit::Shr::shr`]."##,
879 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Shr"},0],[{"ValueNs":"shr"},0]],"AssocFn"]"##,
880 ::core::option::Option::Some(root::core::ops::bit::Shr())
881 );
882 }
883 mk!(
884 BitAnd,
885 r##"This is the trait [`::core::ops::bit::BitAnd`]."##,
886 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitAnd"},0]],"Trait"]"##,
887 ::core::option::Option::Some(root::core::ops::bit())
888 );
889 mk!(
890 BitOr,
891 r##"This is the trait [`::core::ops::bit::BitOr`]."##,
892 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitOr"},0]],"Trait"]"##,
893 ::core::option::Option::Some(root::core::ops::bit())
894 );
895 mk!(
896 BitXor,
897 r##"This is the trait [`::core::ops::bit::BitXor`]."##,
898 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"BitXor"},0]],"Trait"]"##,
899 ::core::option::Option::Some(root::core::ops::bit())
900 );
901 mk!(
902 Not,
903 r##"This is the trait [`::core::ops::bit::Not`]."##,
904 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Not"},0]],"Trait"]"##,
905 ::core::option::Option::Some(root::core::ops::bit())
906 );
907 mk!(
908 Shl,
909 r##"This is the trait [`::core::ops::bit::Shl`]."##,
910 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Shl"},0]],"Trait"]"##,
911 ::core::option::Option::Some(root::core::ops::bit())
912 );
913 mk!(
914 Shr,
915 r##"This is the trait [`::core::ops::bit::Shr`]."##,
916 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0],[{"TypeNs":"Shr"},0]],"Trait"]"##,
917 ::core::option::Option::Some(root::core::ops::bit())
918 );
919 }
920 pub mod control_flow {
921 #![doc = r##"This is the module [`::core::ops::control_flow`]."##]
922 use super::root;
923 pub mod ControlFlow {
924 #![doc = r##"This is the enum [`::core::ops::control_flow::ControlFlow`]."##]
925 use super::root;
926 pub mod Break {
927 #![doc = r##"This is the variant [`::core::ops::control_flow::ControlFlow::Break`]."##]
928 use super::root;
929 mk!(
930 _0,
931 r##"This is the field [`_0`] from ::core::ops::control_flow::ControlFlow::Break."##,
932 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"control_flow"},0],[{"TypeNs":"ControlFlow"},0],[{"TypeNs":"Break"},0],[{"ValueNs":"0"},0]],"Field"]"##,
933 ::core::option::Option::Some(
934 root::core::ops::control_flow::ControlFlow::Break()
935 )
936 );
937 }
938 pub mod Continue {
939 #![doc = r##"This is the variant [`::core::ops::control_flow::ControlFlow::Continue`]."##]
940 use super::root;
941 mk!(
942 _0,
943 r##"This is the field [`_0`] from ::core::ops::control_flow::ControlFlow::Continue."##,
944 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"control_flow"},0],[{"TypeNs":"ControlFlow"},0],[{"TypeNs":"Continue"},0],[{"ValueNs":"0"},0]],"Field"]"##,
945 ::core::option::Option::Some(
946 root::core::ops::control_flow::ControlFlow::Continue()
947 )
948 );
949 }
950 mk!(
951 Break,
952 r##"This is the variant [`::core::ops::control_flow::ControlFlow::Break`]."##,
953 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"control_flow"},0],[{"TypeNs":"ControlFlow"},0],[{"TypeNs":"Break"},0]],"Variant"]"##,
954 ::core::option::Option::Some(root::core::ops::control_flow::ControlFlow())
955 );
956 mk!(
957 Continue,
958 r##"This is the variant [`::core::ops::control_flow::ControlFlow::Continue`]."##,
959 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"control_flow"},0],[{"TypeNs":"ControlFlow"},0],[{"TypeNs":"Continue"},0]],"Variant"]"##,
960 ::core::option::Option::Some(root::core::ops::control_flow::ControlFlow())
961 );
962 }
963 mk!(
964 ControlFlow,
965 r##"This is the enum [`::core::ops::control_flow::ControlFlow`]."##,
966 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"control_flow"},0],[{"TypeNs":"ControlFlow"},0]],"Enum"]"##,
967 ::core::option::Option::Some(root::core::ops::control_flow())
968 );
969 }
970 pub mod deref {
971 #![doc = r##"This is the module [`::core::ops::deref`]."##]
972 use super::root;
973 pub mod Deref {
974 #![doc = r##"This is the trait [`::core::ops::deref::Deref`]."##]
975 use super::root;
976 mk!(
977 Target,
978 r##"This is the associated type [`::core::ops::deref::Deref::Target`]."##,
979 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"deref"},0],[{"TypeNs":"Deref"},0],[{"TypeNs":"Target"},0]],"AssocTy"]"##,
980 ::core::option::Option::Some(root::core::ops::deref::Deref())
981 );
982 mk!(
983 deref,
984 r##"This is the associated function [`::core::ops::deref::Deref::deref`]."##,
985 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"deref"},0],[{"TypeNs":"Deref"},0],[{"ValueNs":"deref"},0]],"AssocFn"]"##,
986 ::core::option::Option::Some(root::core::ops::deref::Deref())
987 );
988 }
989 pub mod DerefMut {
990 #![doc = r##"This is the trait [`::core::ops::deref::DerefMut`]."##]
991 use super::root;
992 mk!(
993 deref_mut,
994 r##"This is the associated function [`::core::ops::deref::DerefMut::deref_mut`]."##,
995 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"deref"},0],[{"TypeNs":"DerefMut"},0],[{"ValueNs":"deref_mut"},0]],"AssocFn"]"##,
996 ::core::option::Option::Some(root::core::ops::deref::DerefMut())
997 );
998 }
999 mk!(
1000 Deref,
1001 r##"This is the trait [`::core::ops::deref::Deref`]."##,
1002 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"deref"},0],[{"TypeNs":"Deref"},0]],"Trait"]"##,
1003 ::core::option::Option::Some(root::core::ops::deref())
1004 );
1005 mk!(
1006 DerefMut,
1007 r##"This is the trait [`::core::ops::deref::DerefMut`]."##,
1008 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"deref"},0],[{"TypeNs":"DerefMut"},0]],"Trait"]"##,
1009 ::core::option::Option::Some(root::core::ops::deref())
1010 );
1011 }
1012 pub mod function {
1013 #![doc = r##"This is the module [`::core::ops::function`]."##]
1014 use super::root;
1015 mk!(
1016 Fn,
1017 r##"This is the trait [`::core::ops::function::Fn`]."##,
1018 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"function"},0],[{"TypeNs":"Fn"},0]],"Trait"]"##,
1019 ::core::option::Option::Some(root::core::ops::function())
1020 );
1021 mk!(
1022 FnMut,
1023 r##"This is the trait [`::core::ops::function::FnMut`]."##,
1024 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"function"},0],[{"TypeNs":"FnMut"},0]],"Trait"]"##,
1025 ::core::option::Option::Some(root::core::ops::function())
1026 );
1027 mk!(
1028 FnOnce,
1029 r##"This is the trait [`::core::ops::function::FnOnce`]."##,
1030 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"function"},0],[{"TypeNs":"FnOnce"},0]],"Trait"]"##,
1031 ::core::option::Option::Some(root::core::ops::function())
1032 );
1033 }
1034 pub mod index {
1035 #![doc = r##"This is the module [`::core::ops::index`]."##]
1036 use super::root;
1037 pub mod Index {
1038 #![doc = r##"This is the trait [`::core::ops::index::Index`]."##]
1039 use super::root;
1040 mk!(
1041 Output,
1042 r##"This is the associated type [`::core::ops::index::Index::Output`]."##,
1043 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"index"},0],[{"TypeNs":"Index"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
1044 ::core::option::Option::Some(root::core::ops::index::Index())
1045 );
1046 mk!(
1047 index,
1048 r##"This is the associated function [`::core::ops::index::Index::index`]."##,
1049 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"index"},0],[{"TypeNs":"Index"},0],[{"ValueNs":"index"},0]],"AssocFn"]"##,
1050 ::core::option::Option::Some(root::core::ops::index::Index())
1051 );
1052 }
1053 mk!(
1054 Index,
1055 r##"This is the trait [`::core::ops::index::Index`]."##,
1056 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"index"},0],[{"TypeNs":"Index"},0]],"Trait"]"##,
1057 ::core::option::Option::Some(root::core::ops::index())
1058 );
1059 }
1060 pub mod range {
1061 #![doc = r##"This is the module [`::core::ops::range`]."##]
1062 use super::root;
1063 pub mod Range {
1064 #![doc = r##"This is the struct [`::core::ops::range::Range`]."##]
1065 use super::root;
1066 mk!(
1067 end,
1068 r##"This is the field [`end`] from ::core::ops::range::Range."##,
1069 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"Range"},0],[{"ValueNs":"end"},0]],"Field"]"##,
1070 ::core::option::Option::Some(root::core::ops::range::Range())
1071 );
1072 mk!(
1073 start,
1074 r##"This is the field [`start`] from ::core::ops::range::Range."##,
1075 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"Range"},0],[{"ValueNs":"start"},0]],"Field"]"##,
1076 ::core::option::Option::Some(root::core::ops::range::Range())
1077 );
1078 }
1079 pub mod RangeFrom {
1080 #![doc = r##"This is the struct [`::core::ops::range::RangeFrom`]."##]
1081 use super::root;
1082 mk!(
1083 start,
1084 r##"This is the field [`start`] from ::core::ops::range::RangeFrom."##,
1085 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"RangeFrom"},0],[{"ValueNs":"start"},0]],"Field"]"##,
1086 ::core::option::Option::Some(root::core::ops::range::RangeFrom())
1087 );
1088 }
1089 pub mod RangeTo {
1090 #![doc = r##"This is the struct [`::core::ops::range::RangeTo`]."##]
1091 use super::root;
1092 mk!(
1093 end,
1094 r##"This is the field [`end`] from ::core::ops::range::RangeTo."##,
1095 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"RangeTo"},0],[{"ValueNs":"end"},0]],"Field"]"##,
1096 ::core::option::Option::Some(root::core::ops::range::RangeTo())
1097 );
1098 }
1099 mk!(
1100 Range,
1101 r##"This is the struct [`::core::ops::range::Range`]."##,
1102 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"Range"},0]],"Struct"]"##,
1103 ::core::option::Option::Some(root::core::ops::range())
1104 );
1105 mk!(
1106 RangeFrom,
1107 r##"This is the struct [`::core::ops::range::RangeFrom`]."##,
1108 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"RangeFrom"},0]],"Struct"]"##,
1109 ::core::option::Option::Some(root::core::ops::range())
1110 );
1111 mk!(
1112 RangeFull,
1113 r##"This is the struct [`::core::ops::range::RangeFull`]."##,
1114 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"RangeFull"},0]],"Struct"]"##,
1115 ::core::option::Option::Some(root::core::ops::range())
1116 );
1117 mk!(
1118 RangeTo,
1119 r##"This is the struct [`::core::ops::range::RangeTo`]."##,
1120 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0],[{"TypeNs":"RangeTo"},0]],"Struct"]"##,
1121 ::core::option::Option::Some(root::core::ops::range())
1122 );
1123 }
1124 pub mod try_trait {
1125 #![doc = r##"This is the module [`::core::ops::try_trait`]."##]
1126 use super::root;
1127 pub mod FromResidual {
1128 #![doc = r##"This is the trait [`::core::ops::try_trait::FromResidual`]."##]
1129 use super::root;
1130 mk!(
1131 from_residual,
1132 r##"This is the associated function [`::core::ops::try_trait::FromResidual::from_residual`]."##,
1133 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"FromResidual"},0],[{"ValueNs":"from_residual"},0]],"AssocFn"]"##,
1134 ::core::option::Option::Some(root::core::ops::try_trait::FromResidual())
1135 );
1136 }
1137 pub mod Try {
1138 #![doc = r##"This is the trait [`::core::ops::try_trait::Try`]."##]
1139 use super::root;
1140 mk!(
1141 Output,
1142 r##"This is the associated type [`::core::ops::try_trait::Try::Output`]."##,
1143 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"Try"},0],[{"TypeNs":"Output"},0]],"AssocTy"]"##,
1144 ::core::option::Option::Some(root::core::ops::try_trait::Try())
1145 );
1146 mk!(
1147 Residual,
1148 r##"This is the associated type [`::core::ops::try_trait::Try::Residual`]."##,
1149 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"Try"},0],[{"TypeNs":"Residual"},0]],"AssocTy"]"##,
1150 ::core::option::Option::Some(root::core::ops::try_trait::Try())
1151 );
1152 mk!(
1153 branch,
1154 r##"This is the associated function [`::core::ops::try_trait::Try::branch`]."##,
1155 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"Try"},0],[{"ValueNs":"branch"},0]],"AssocFn"]"##,
1156 ::core::option::Option::Some(root::core::ops::try_trait::Try())
1157 );
1158 mk!(
1159 from_output,
1160 r##"This is the associated function [`::core::ops::try_trait::Try::from_output`]."##,
1161 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"Try"},0],[{"ValueNs":"from_output"},0]],"AssocFn"]"##,
1162 ::core::option::Option::Some(root::core::ops::try_trait::Try())
1163 );
1164 }
1165 mk!(
1166 FromResidual,
1167 r##"This is the trait [`::core::ops::try_trait::FromResidual`]."##,
1168 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"FromResidual"},0]],"Trait"]"##,
1169 ::core::option::Option::Some(root::core::ops::try_trait())
1170 );
1171 mk!(
1172 Try,
1173 r##"This is the trait [`::core::ops::try_trait::Try`]."##,
1174 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0],[{"TypeNs":"Try"},0]],"Trait"]"##,
1175 ::core::option::Option::Some(root::core::ops::try_trait())
1176 );
1177 }
1178 mk!(
1179 arith,
1180 r##"This is the module [`::core::ops::arith`]."##,
1181 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"arith"},0]],"Mod"]"##,
1182 ::core::option::Option::Some(root::core::ops())
1183 );
1184 mk!(
1185 bit,
1186 r##"This is the module [`::core::ops::bit`]."##,
1187 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"bit"},0]],"Mod"]"##,
1188 ::core::option::Option::Some(root::core::ops())
1189 );
1190 mk!(
1191 control_flow,
1192 r##"This is the module [`::core::ops::control_flow`]."##,
1193 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"control_flow"},0]],"Mod"]"##,
1194 ::core::option::Option::Some(root::core::ops())
1195 );
1196 mk!(
1197 deref,
1198 r##"This is the module [`::core::ops::deref`]."##,
1199 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"deref"},0]],"Mod"]"##,
1200 ::core::option::Option::Some(root::core::ops())
1201 );
1202 mk!(
1203 function,
1204 r##"This is the module [`::core::ops::function`]."##,
1205 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"function"},0]],"Mod"]"##,
1206 ::core::option::Option::Some(root::core::ops())
1207 );
1208 mk!(
1209 index,
1210 r##"This is the module [`::core::ops::index`]."##,
1211 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"index"},0]],"Mod"]"##,
1212 ::core::option::Option::Some(root::core::ops())
1213 );
1214 mk!(
1215 range,
1216 r##"This is the module [`::core::ops::range`]."##,
1217 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"range"},0]],"Mod"]"##,
1218 ::core::option::Option::Some(root::core::ops())
1219 );
1220 mk!(
1221 try_trait,
1222 r##"This is the module [`::core::ops::try_trait`]."##,
1223 r##"["core",[[{"TypeNs":"ops"},0],[{"TypeNs":"try_trait"},0]],"Mod"]"##,
1224 ::core::option::Option::Some(root::core::ops())
1225 );
1226 }
1227 pub mod option {
1228 #![doc = r##"This is the module [`::core::option`]."##]
1229 use super::root;
1230 pub mod Impl {
1231 #![doc = r##"This is an impl block."##]
1232 use super::root;
1233 mk!(
1234 is_some,
1235 r##"This is the associated function [`::core::option::Impl::is_some`]."##,
1236 r##"["core",[[{"TypeNs":"option"},0],["Impl",0],[{"ValueNs":"is_some"},0]],"AssocFn"]"##,
1237 ::core::option::Option::Some(root::core::option::Impl())
1238 );
1239 }
1240 pub mod Option {
1241 #![doc = r##"This is the enum [`::core::option::Option`]."##]
1242 use super::root;
1243 pub mod Some {
1244 #![doc = r##"This is the variant [`::core::option::Option::Some`]."##]
1245 use super::root;
1246 mk!(
1247 _0,
1248 r##"This is the field [`_0`] from ::core::option::Option::Some."##,
1249 r##"["core",[[{"TypeNs":"option"},0],[{"TypeNs":"Option"},0],[{"TypeNs":"Some"},0],[{"ValueNs":"0"},0]],"Field"]"##,
1250 ::core::option::Option::Some(root::core::option::Option::Some())
1251 );
1252 }
1253 mk!(
1254 None,
1255 r##"This is the variant [`::core::option::Option::None`]."##,
1256 r##"["core",[[{"TypeNs":"option"},0],[{"TypeNs":"Option"},0],[{"TypeNs":"None"},0]],"Variant"]"##,
1257 ::core::option::Option::Some(root::core::option::Option())
1258 );
1259 mk!(
1260 Some,
1261 r##"This is the variant [`::core::option::Option::Some`]."##,
1262 r##"["core",[[{"TypeNs":"option"},0],[{"TypeNs":"Option"},0],[{"TypeNs":"Some"},0]],"Variant"]"##,
1263 ::core::option::Option::Some(root::core::option::Option())
1264 );
1265 }
1266 mk!(
1267 Impl,
1268 r##"This is an impl block."##,
1269 r##"["core",[[{"TypeNs":"option"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
1270 ::core::option::Option::Some(root::core::option())
1271 );
1272 mk!(
1273 Option,
1274 r##"This is the enum [`::core::option::Option`]."##,
1275 r##"["core",[[{"TypeNs":"option"},0],[{"TypeNs":"Option"},0]],"Enum"]"##,
1276 ::core::option::Option::Some(root::core::option())
1277 );
1278 }
1279 pub mod panicking {
1280 #![doc = r##"This is the module [`::core::panicking`]."##]
1281 use super::root;
1282 pub mod AssertKind {
1283 #![doc = r##"This is the enum [`::core::panicking::AssertKind`]."##]
1284 use super::root;
1285 mk!(
1286 Eq,
1287 r##"This is the variant [`::core::panicking::AssertKind::Eq`]."##,
1288 r##"["core",[[{"TypeNs":"panicking"},0],[{"TypeNs":"AssertKind"},0],[{"TypeNs":"Eq"},0]],"Variant"]"##,
1289 ::core::option::Option::Some(root::core::panicking::AssertKind())
1290 );
1291 }
1292 mk!(
1293 AssertKind,
1294 r##"This is the enum [`::core::panicking::AssertKind`]."##,
1295 r##"["core",[[{"TypeNs":"panicking"},0],[{"TypeNs":"AssertKind"},0]],"Enum"]"##,
1296 ::core::option::Option::Some(root::core::panicking())
1297 );
1298 mk!(
1299 assert_failed,
1300 r##"This is the function [`::core::panicking::assert_failed`]."##,
1301 r##"["core",[[{"TypeNs":"panicking"},0],[{"ValueNs":"assert_failed"},0]],"Fn"]"##,
1302 ::core::option::Option::Some(root::core::panicking())
1303 );
1304 mk!(
1305 panic,
1306 r##"This is the function [`::core::panicking::panic`]."##,
1307 r##"["core",[[{"TypeNs":"panicking"},0],[{"ValueNs":"panic"},0]],"Fn"]"##,
1308 ::core::option::Option::Some(root::core::panicking())
1309 );
1310 }
1311 pub mod ptr {
1312 #![doc = r##"This is the module [`::core::ptr`]."##]
1313 use super::root;
1314 pub mod const_ptr {
1315 #![doc = r##"This is the module [`::core::ptr::const_ptr`]."##]
1316 use super::root;
1317 pub mod Impl {
1318 #![doc = r##"This is an impl block."##]
1319 use super::root;
1320 mk!(
1321 offset,
1322 r##"This is the associated function [`::core::ptr::const_ptr::Impl::offset`]."##,
1323 r##"["core",[[{"TypeNs":"ptr"},0],[{"TypeNs":"const_ptr"},0],["Impl",0],[{"ValueNs":"offset"},0]],"AssocFn"]"##,
1324 ::core::option::Option::Some(root::core::ptr::const_ptr::Impl())
1325 );
1326 }
1327 mk!(
1328 Impl,
1329 r##"This is an impl block."##,
1330 r##"["core",[[{"TypeNs":"ptr"},0],[{"TypeNs":"const_ptr"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
1331 ::core::option::Option::Some(root::core::ptr::const_ptr())
1332 );
1333 }
1334 mk!(
1335 const_ptr,
1336 r##"This is the module [`::core::ptr::const_ptr`]."##,
1337 r##"["core",[[{"TypeNs":"ptr"},0],[{"TypeNs":"const_ptr"},0]],"Mod"]"##,
1338 ::core::option::Option::Some(root::core::ptr())
1339 );
1340 }
1341 pub mod result {
1342 #![doc = r##"This is the module [`::core::result`]."##]
1343 use super::root;
1344 pub mod Impl {
1345 #![doc = r##"This is an impl block."##]
1346 use super::root;
1347 mk!(
1348 map_err,
1349 r##"This is the associated function [`::core::result::Impl::map_err`]."##,
1350 r##"["core",[[{"TypeNs":"result"},0],["Impl",0],[{"ValueNs":"map_err"},0]],"AssocFn"]"##,
1351 ::core::option::Option::Some(root::core::result::Impl())
1352 );
1353 }
1354 pub mod Result {
1355 #![doc = r##"This is the enum [`::core::result::Result`]."##]
1356 use super::root;
1357 pub mod Err {
1358 #![doc = r##"This is the variant [`::core::result::Result::Err`]."##]
1359 use super::root;
1360 mk!(
1361 _0,
1362 r##"This is the field [`_0`] from ::core::result::Result::Err."##,
1363 r##"["core",[[{"TypeNs":"result"},0],[{"TypeNs":"Result"},0],[{"TypeNs":"Err"},0],[{"ValueNs":"0"},0]],"Field"]"##,
1364 ::core::option::Option::Some(root::core::result::Result::Err())
1365 );
1366 }
1367 pub mod Ok {
1368 #![doc = r##"This is the variant [`::core::result::Result::Ok`]."##]
1369 use super::root;
1370 mk!(
1371 _0,
1372 r##"This is the field [`_0`] from ::core::result::Result::Ok."##,
1373 r##"["core",[[{"TypeNs":"result"},0],[{"TypeNs":"Result"},0],[{"TypeNs":"Ok"},0],[{"ValueNs":"0"},0]],"Field"]"##,
1374 ::core::option::Option::Some(root::core::result::Result::Ok())
1375 );
1376 }
1377 mk!(
1378 Err,
1379 r##"This is the variant [`::core::result::Result::Err`]."##,
1380 r##"["core",[[{"TypeNs":"result"},0],[{"TypeNs":"Result"},0],[{"TypeNs":"Err"},0]],"Variant"]"##,
1381 ::core::option::Option::Some(root::core::result::Result())
1382 );
1383 mk!(
1384 Ok,
1385 r##"This is the variant [`::core::result::Result::Ok`]."##,
1386 r##"["core",[[{"TypeNs":"result"},0],[{"TypeNs":"Result"},0],[{"TypeNs":"Ok"},0]],"Variant"]"##,
1387 ::core::option::Option::Some(root::core::result::Result())
1388 );
1389 }
1390 mk!(
1391 Impl,
1392 r##"This is an impl block."##,
1393 r##"["core",[[{"TypeNs":"result"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
1394 ::core::option::Option::Some(root::core::result())
1395 );
1396 mk!(
1397 Impl__27,
1398 r##"This is an impl block."##,
1399 r##"["core",[[{"TypeNs":"result"},0],["Impl",27]],{"Impl":{"of_trait":true}}]"##,
1400 ::core::option::Option::Some(root::core::result())
1401 );
1402 mk!(
1403 Impl__28,
1404 r##"This is an impl block."##,
1405 r##"["core",[[{"TypeNs":"result"},0],["Impl",28]],{"Impl":{"of_trait":true}}]"##,
1406 ::core::option::Option::Some(root::core::result())
1407 );
1408 mk!(
1409 Result,
1410 r##"This is the enum [`::core::result::Result`]."##,
1411 r##"["core",[[{"TypeNs":"result"},0],[{"TypeNs":"Result"},0]],"Enum"]"##,
1412 ::core::option::Option::Some(root::core::result())
1413 );
1414 }
1415 pub mod slice {
1416 #![doc = r##"This is the module [`::core::slice`]."##]
1417 use super::root;
1418 pub mod Impl {
1419 #![doc = r##"This is an impl block."##]
1420 use super::root;
1421 mk!(
1422 chunks_exact,
1423 r##"This is the associated function [`::core::slice::Impl::chunks_exact`]."##,
1424 r##"["core",[[{"TypeNs":"slice"},0],["Impl",0],[{"ValueNs":"chunks_exact"},0]],"AssocFn"]"##,
1425 ::core::option::Option::Some(root::core::slice::Impl())
1426 );
1427 mk!(
1428 iter,
1429 r##"This is the associated function [`::core::slice::Impl::iter`]."##,
1430 r##"["core",[[{"TypeNs":"slice"},0],["Impl",0],[{"ValueNs":"iter"},0]],"AssocFn"]"##,
1431 ::core::option::Option::Some(root::core::slice::Impl())
1432 );
1433 mk!(
1434 len,
1435 r##"This is the associated function [`::core::slice::Impl::len`]."##,
1436 r##"["core",[[{"TypeNs":"slice"},0],["Impl",0],[{"ValueNs":"len"},0]],"AssocFn"]"##,
1437 ::core::option::Option::Some(root::core::slice::Impl())
1438 );
1439 }
1440 pub mod index {
1441 #![doc = r##"This is the module [`::core::slice::index`]."##]
1442 use super::root;
1443 mk!(
1444 Impl__2,
1445 r##"This is an impl block."##,
1446 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"index"},0],["Impl",2]],{"Impl":{"of_trait":true}}]"##,
1447 ::core::option::Option::Some(root::core::slice::index())
1448 );
1449 mk!(
1450 Impl__4,
1451 r##"This is an impl block."##,
1452 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"index"},0],["Impl",4]],{"Impl":{"of_trait":true}}]"##,
1453 ::core::option::Option::Some(root::core::slice::index())
1454 );
1455 mk!(
1456 SliceIndex,
1457 r##"This is the trait [`::core::slice::index::SliceIndex`]."##,
1458 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"index"},0],[{"TypeNs":"SliceIndex"},0]],"Trait"]"##,
1459 ::core::option::Option::Some(root::core::slice::index())
1460 );
1461 }
1462 pub mod iter {
1463 #![doc = r##"This is the module [`::core::slice::iter`]."##]
1464 use super::root;
1465 mk!(
1466 ChunksExact,
1467 r##"This is the struct [`::core::slice::iter::ChunksExact`]."##,
1468 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"iter"},0],[{"TypeNs":"ChunksExact"},0]],"Struct"]"##,
1469 ::core::option::Option::Some(root::core::slice::iter())
1470 );
1471 mk!(
1472 Iter,
1473 r##"This is the struct [`::core::slice::iter::Iter`]."##,
1474 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"iter"},0],[{"TypeNs":"Iter"},0]],"Struct"]"##,
1475 ::core::option::Option::Some(root::core::slice::iter())
1476 );
1477 }
1478 mk!(
1479 Impl,
1480 r##"This is an impl block."##,
1481 r##"["core",[[{"TypeNs":"slice"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
1482 ::core::option::Option::Some(root::core::slice())
1483 );
1484 mk!(
1485 index,
1486 r##"This is the module [`::core::slice::index`]."##,
1487 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"index"},0]],"Mod"]"##,
1488 ::core::option::Option::Some(root::core::slice())
1489 );
1490 mk!(
1491 iter,
1492 r##"This is the module [`::core::slice::iter`]."##,
1493 r##"["core",[[{"TypeNs":"slice"},0],[{"TypeNs":"iter"},0]],"Mod"]"##,
1494 ::core::option::Option::Some(root::core::slice())
1495 );
1496 }
1497 pub mod str {
1498 #![doc = r##"This is the module [`::core::str`]."##]
1499 use super::root;
1500 pub mod Impl {
1501 #![doc = r##"This is an impl block."##]
1502 use super::root;
1503 mk!(
1504 as_ptr,
1505 r##"This is the associated function [`::core::str::Impl::as_ptr`]."##,
1506 r##"["core",[[{"TypeNs":"str"},0],["Impl",0],[{"ValueNs":"as_ptr"},0]],"AssocFn"]"##,
1507 ::core::option::Option::Some(root::core::str::Impl())
1508 );
1509 }
1510 mk!(
1511 Impl,
1512 r##"This is an impl block."##,
1513 r##"["core",[[{"TypeNs":"str"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
1514 ::core::option::Option::Some(root::core::str())
1515 );
1516 }
1517 mk!(
1518 alloc,
1519 r##"This is the module [`::core::alloc`]."##,
1520 r##"["core",[[{"TypeNs":"alloc"},0]],"Mod"]"##,
1521 ::core::option::Option::Some(root::core())
1522 );
1523 mk!(
1524 array,
1525 r##"This is the module [`::core::array`]."##,
1526 r##"["core",[[{"TypeNs":"array"},0]],"Mod"]"##,
1527 ::core::option::Option::Some(root::core())
1528 );
1529 mk!(
1530 borrow,
1531 r##"This is the module [`::core::borrow`]."##,
1532 r##"["core",[[{"TypeNs":"borrow"},0]],"Mod"]"##,
1533 ::core::option::Option::Some(root::core())
1534 );
1535 mk!(
1536 clone,
1537 r##"This is the module [`::core::clone`]."##,
1538 r##"["core",[[{"TypeNs":"clone"},0]],"Mod"]"##,
1539 ::core::option::Option::Some(root::core())
1540 );
1541 mk!(
1542 cmp,
1543 r##"This is the module [`::core::cmp`]."##,
1544 r##"["core",[[{"TypeNs":"cmp"},0]],"Mod"]"##,
1545 ::core::option::Option::Some(root::core())
1546 );
1547 mk!(
1548 convert,
1549 r##"This is the module [`::core::convert`]."##,
1550 r##"["core",[[{"TypeNs":"convert"},0]],"Mod"]"##,
1551 ::core::option::Option::Some(root::core())
1552 );
1553 mk!(
1554 fmt,
1555 r##"This is the module [`::core::fmt`]."##,
1556 r##"["core",[[{"TypeNs":"fmt"},0]],"Mod"]"##,
1557 ::core::option::Option::Some(root::core())
1558 );
1559 mk!(
1560 iter,
1561 r##"This is the module [`::core::iter`]."##,
1562 r##"["core",[[{"TypeNs":"iter"},0]],"Mod"]"##,
1563 ::core::option::Option::Some(root::core())
1564 );
1565 mk!(
1566 marker,
1567 r##"This is the module [`::core::marker`]."##,
1568 r##"["core",[[{"TypeNs":"marker"},0]],"Mod"]"##,
1569 ::core::option::Option::Some(root::core())
1570 );
1571 mk!(
1572 num,
1573 r##"This is the module [`::core::num`]."##,
1574 r##"["core",[[{"TypeNs":"num"},0]],"Mod"]"##,
1575 ::core::option::Option::Some(root::core())
1576 );
1577 mk!(
1578 ops,
1579 r##"This is the module [`::core::ops`]."##,
1580 r##"["core",[[{"TypeNs":"ops"},0]],"Mod"]"##,
1581 ::core::option::Option::Some(root::core())
1582 );
1583 mk!(
1584 option,
1585 r##"This is the module [`::core::option`]."##,
1586 r##"["core",[[{"TypeNs":"option"},0]],"Mod"]"##,
1587 ::core::option::Option::Some(root::core())
1588 );
1589 mk!(
1590 panicking,
1591 r##"This is the module [`::core::panicking`]."##,
1592 r##"["core",[[{"TypeNs":"panicking"},0]],"Mod"]"##,
1593 ::core::option::Option::Some(root::core())
1594 );
1595 mk!(
1596 ptr,
1597 r##"This is the module [`::core::ptr`]."##,
1598 r##"["core",[[{"TypeNs":"ptr"},0]],"Mod"]"##,
1599 ::core::option::Option::Some(root::core())
1600 );
1601 mk!(
1602 result,
1603 r##"This is the module [`::core::result`]."##,
1604 r##"["core",[[{"TypeNs":"result"},0]],"Mod"]"##,
1605 ::core::option::Option::Some(root::core())
1606 );
1607 mk!(
1608 slice,
1609 r##"This is the module [`::core::slice`]."##,
1610 r##"["core",[[{"TypeNs":"slice"},0]],"Mod"]"##,
1611 ::core::option::Option::Some(root::core())
1612 );
1613 mk!(
1614 str,
1615 r##"This is the module [`::core::str`]."##,
1616 r##"["core",[[{"TypeNs":"str"},0]],"Mod"]"##,
1617 ::core::option::Option::Some(root::core())
1618 );
1619}
1620pub mod hax_lib {
1621 #![doc = r##"This is the module [`::hax_lib`]."##]
1622 use super::root;
1623 pub mod RefineAs {
1624 #![doc = r##"This is the trait [`::hax_lib::RefineAs`]."##]
1625 use super::root;
1626 mk!(
1627 into_checked,
1628 r##"This is the associated function [`::hax_lib::RefineAs::into_checked`]."##,
1629 r##"["hax_lib",[[{"TypeNs":"RefineAs"},0],[{"ValueNs":"into_checked"},0]],"AssocFn"]"##,
1630 ::core::option::Option::Some(root::hax_lib::RefineAs())
1631 );
1632 }
1633 pub mod Refinement {
1634 #![doc = r##"This is the trait [`::hax_lib::Refinement`]."##]
1635 use super::root;
1636 mk!(
1637 InnerType,
1638 r##"This is the associated type [`::hax_lib::Refinement::InnerType`]."##,
1639 r##"["hax_lib",[[{"TypeNs":"Refinement"},0],[{"TypeNs":"InnerType"},0]],"AssocTy"]"##,
1640 ::core::option::Option::Some(root::hax_lib::Refinement())
1641 );
1642 mk!(
1643 get,
1644 r##"This is the associated function [`::hax_lib::Refinement::get`]."##,
1645 r##"["hax_lib",[[{"TypeNs":"Refinement"},0],[{"ValueNs":"get"},0]],"AssocFn"]"##,
1646 ::core::option::Option::Some(root::hax_lib::Refinement())
1647 );
1648 mk!(
1649 get_mut,
1650 r##"This is the associated function [`::hax_lib::Refinement::get_mut`]."##,
1651 r##"["hax_lib",[[{"TypeNs":"Refinement"},0],[{"ValueNs":"get_mut"},0]],"AssocFn"]"##,
1652 ::core::option::Option::Some(root::hax_lib::Refinement())
1653 );
1654 mk!(
1655 new,
1656 r##"This is the associated function [`::hax_lib::Refinement::new`]."##,
1657 r##"["hax_lib",[[{"TypeNs":"Refinement"},0],[{"ValueNs":"new"},0]],"AssocFn"]"##,
1658 ::core::option::Option::Some(root::hax_lib::Refinement())
1659 );
1660 }
1661 pub mod abstraction {
1662 #![doc = r##"This is the module [`::hax_lib::abstraction`]."##]
1663 use super::root;
1664 pub mod Abstraction {
1665 #![doc = r##"This is the trait [`::hax_lib::abstraction::Abstraction`]."##]
1666 use super::root;
1667 mk!(
1668 AbstractType,
1669 r##"This is the associated type [`::hax_lib::abstraction::Abstraction::AbstractType`]."##,
1670 r##"["hax_lib",[[{"TypeNs":"abstraction"},0],[{"TypeNs":"Abstraction"},0],[{"TypeNs":"AbstractType"},0]],"AssocTy"]"##,
1671 ::core::option::Option::Some(root::hax_lib::abstraction::Abstraction())
1672 );
1673 mk!(
1674 lift,
1675 r##"This is the associated function [`::hax_lib::abstraction::Abstraction::lift`]."##,
1676 r##"["hax_lib",[[{"TypeNs":"abstraction"},0],[{"TypeNs":"Abstraction"},0],[{"ValueNs":"lift"},0]],"AssocFn"]"##,
1677 ::core::option::Option::Some(root::hax_lib::abstraction::Abstraction())
1678 );
1679 }
1680 pub mod Concretization {
1681 #![doc = r##"This is the trait [`::hax_lib::abstraction::Concretization`]."##]
1682 use super::root;
1683 mk!(
1684 concretize,
1685 r##"This is the associated function [`::hax_lib::abstraction::Concretization::concretize`]."##,
1686 r##"["hax_lib",[[{"TypeNs":"abstraction"},0],[{"TypeNs":"Concretization"},0],[{"ValueNs":"concretize"},0]],"AssocFn"]"##,
1687 ::core::option::Option::Some(root::hax_lib::abstraction::Concretization())
1688 );
1689 }
1690 mk!(
1691 Abstraction,
1692 r##"This is the trait [`::hax_lib::abstraction::Abstraction`]."##,
1693 r##"["hax_lib",[[{"TypeNs":"abstraction"},0],[{"TypeNs":"Abstraction"},0]],"Trait"]"##,
1694 ::core::option::Option::Some(root::hax_lib::abstraction())
1695 );
1696 mk!(
1697 Concretization,
1698 r##"This is the trait [`::hax_lib::abstraction::Concretization`]."##,
1699 r##"["hax_lib",[[{"TypeNs":"abstraction"},0],[{"TypeNs":"Concretization"},0]],"Trait"]"##,
1700 ::core::option::Option::Some(root::hax_lib::abstraction())
1701 );
1702 }
1703 pub mod int {
1704 #![doc = r##"This is the module [`::hax_lib::int`]."##]
1705 use super::root;
1706 pub mod Impl__7 {
1707 #![doc = r##"This is an impl block."##]
1708 use super::root;
1709 mk!(
1710 _unsafe_from_str,
1711 r##"This is the associated function [`::hax_lib::int::Impl__7::_unsafe_from_str`]."##,
1712 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",7],[{"ValueNs":"_unsafe_from_str"},0]],"AssocFn"]"##,
1713 ::core::option::Option::Some(root::hax_lib::int::Impl__7())
1714 );
1715 mk!(
1716 pow2,
1717 r##"This is the associated function [`::hax_lib::int::Impl__7::pow2`]."##,
1718 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",7],[{"ValueNs":"pow2"},0]],"AssocFn"]"##,
1719 ::core::option::Option::Some(root::hax_lib::int::Impl__7())
1720 );
1721 }
1722 pub mod ToInt {
1723 #![doc = r##"This is the trait [`::hax_lib::int::ToInt`]."##]
1724 use super::root;
1725 mk!(
1726 to_int,
1727 r##"This is the associated function [`::hax_lib::int::ToInt::to_int`]."##,
1728 r##"["hax_lib",[[{"TypeNs":"int"},0],[{"TypeNs":"ToInt"},0],[{"ValueNs":"to_int"},0]],"AssocFn"]"##,
1729 ::core::option::Option::Some(root::hax_lib::int::ToInt())
1730 );
1731 }
1732 mk!(
1733 Impl__16,
1734 r##"This is an impl block."##,
1735 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",16]],{"Impl":{"of_trait":true}}]"##,
1736 ::core::option::Option::Some(root::hax_lib::int())
1737 );
1738 mk!(
1739 Impl__17,
1740 r##"This is an impl block."##,
1741 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",17]],{"Impl":{"of_trait":true}}]"##,
1742 ::core::option::Option::Some(root::hax_lib::int())
1743 );
1744 mk!(
1745 Impl__44,
1746 r##"This is an impl block."##,
1747 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",44]],{"Impl":{"of_trait":true}}]"##,
1748 ::core::option::Option::Some(root::hax_lib::int())
1749 );
1750 mk!(
1751 Impl__7,
1752 r##"This is an impl block."##,
1753 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",7]],{"Impl":{"of_trait":false}}]"##,
1754 ::core::option::Option::Some(root::hax_lib::int())
1755 );
1756 mk!(
1757 Impl__9,
1758 r##"This is an impl block."##,
1759 r##"["hax_lib",[[{"TypeNs":"int"},0],["Impl",9]],{"Impl":{"of_trait":true}}]"##,
1760 ::core::option::Option::Some(root::hax_lib::int())
1761 );
1762 mk!(
1763 Int,
1764 r##"This is the struct [`::hax_lib::int::Int`]."##,
1765 r##"["hax_lib",[[{"TypeNs":"int"},0],[{"TypeNs":"Int"},0]],"Struct"]"##,
1766 ::core::option::Option::Some(root::hax_lib::int())
1767 );
1768 mk!(
1769 ToInt,
1770 r##"This is the trait [`::hax_lib::int::ToInt`]."##,
1771 r##"["hax_lib",[[{"TypeNs":"int"},0],[{"TypeNs":"ToInt"},0]],"Trait"]"##,
1772 ::core::option::Option::Some(root::hax_lib::int())
1773 );
1774 }
1775 pub mod prop {
1776 #![doc = r##"This is the module [`::hax_lib::prop`]."##]
1777 use super::root;
1778 pub mod Impl {
1779 #![doc = r##"This is an impl block."##]
1780 use super::root;
1781 mk!(
1782 and,
1783 r##"This is the associated function [`::hax_lib::prop::Impl::and`]."##,
1784 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"and"},0]],"AssocFn"]"##,
1785 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1786 );
1787 mk!(
1788 eq,
1789 r##"This is the associated function [`::hax_lib::prop::Impl::eq`]."##,
1790 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"eq"},0]],"AssocFn"]"##,
1791 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1792 );
1793 mk!(
1794 from_bool,
1795 r##"This is the associated function [`::hax_lib::prop::Impl::from_bool`]."##,
1796 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"from_bool"},0]],"AssocFn"]"##,
1797 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1798 );
1799 mk!(
1800 implies,
1801 r##"This is the associated function [`::hax_lib::prop::Impl::implies`]."##,
1802 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"implies"},0]],"AssocFn"]"##,
1803 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1804 );
1805 mk!(
1806 ne,
1807 r##"This is the associated function [`::hax_lib::prop::Impl::ne`]."##,
1808 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"ne"},0]],"AssocFn"]"##,
1809 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1810 );
1811 mk!(
1812 not,
1813 r##"This is the associated function [`::hax_lib::prop::Impl::not`]."##,
1814 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"not"},0]],"AssocFn"]"##,
1815 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1816 );
1817 mk!(
1818 or,
1819 r##"This is the associated function [`::hax_lib::prop::Impl::or`]."##,
1820 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0],[{"ValueNs":"or"},0]],"AssocFn"]"##,
1821 ::core::option::Option::Some(root::hax_lib::prop::Impl())
1822 );
1823 }
1824 pub mod ToProp {
1825 #![doc = r##"This is the trait [`::hax_lib::prop::ToProp`]."##]
1826 use super::root;
1827 mk!(
1828 to_prop,
1829 r##"This is the associated function [`::hax_lib::prop::ToProp::to_prop`]."##,
1830 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"ToProp"},0],[{"ValueNs":"to_prop"},0]],"AssocFn"]"##,
1831 ::core::option::Option::Some(root::hax_lib::prop::ToProp())
1832 );
1833 }
1834 pub mod constructors {
1835 #![doc = r##"This is the module [`::hax_lib::prop::constructors`]."##]
1836 use super::root;
1837 mk!(
1838 and,
1839 r##"This is the function [`::hax_lib::prop::constructors::and`]."##,
1840 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"and"},0]],"Fn"]"##,
1841 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1842 );
1843 mk!(
1844 eq,
1845 r##"This is the function [`::hax_lib::prop::constructors::eq`]."##,
1846 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
1847 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1848 );
1849 mk!(
1850 exists,
1851 r##"This is the function [`::hax_lib::prop::constructors::exists`]."##,
1852 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"exists"},0]],"Fn"]"##,
1853 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1854 );
1855 mk!(
1856 forall,
1857 r##"This is the function [`::hax_lib::prop::constructors::forall`]."##,
1858 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"forall"},0]],"Fn"]"##,
1859 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1860 );
1861 mk!(
1862 from_bool,
1863 r##"This is the function [`::hax_lib::prop::constructors::from_bool`]."##,
1864 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"from_bool"},0]],"Fn"]"##,
1865 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1866 );
1867 mk!(
1868 implies,
1869 r##"This is the function [`::hax_lib::prop::constructors::implies`]."##,
1870 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"implies"},0]],"Fn"]"##,
1871 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1872 );
1873 mk!(
1874 ne,
1875 r##"This is the function [`::hax_lib::prop::constructors::ne`]."##,
1876 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
1877 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1878 );
1879 mk!(
1880 not,
1881 r##"This is the function [`::hax_lib::prop::constructors::not`]."##,
1882 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"not"},0]],"Fn"]"##,
1883 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1884 );
1885 mk!(
1886 or,
1887 r##"This is the function [`::hax_lib::prop::constructors::or`]."##,
1888 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0],[{"ValueNs":"or"},0]],"Fn"]"##,
1889 ::core::option::Option::Some(root::hax_lib::prop::constructors())
1890 );
1891 }
1892 mk!(
1893 Impl,
1894 r##"This is an impl block."##,
1895 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
1896 ::core::option::Option::Some(root::hax_lib::prop())
1897 );
1898 mk!(
1899 Impl__2,
1900 r##"This is an impl block."##,
1901 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",2]],{"Impl":{"of_trait":true}}]"##,
1902 ::core::option::Option::Some(root::hax_lib::prop())
1903 );
1904 mk!(
1905 Impl__3,
1906 r##"This is an impl block."##,
1907 r##"["hax_lib",[[{"TypeNs":"prop"},0],["Impl",3]],{"Impl":{"of_trait":true}}]"##,
1908 ::core::option::Option::Some(root::hax_lib::prop())
1909 );
1910 mk!(
1911 Prop,
1912 r##"This is the struct [`::hax_lib::prop::Prop`]."##,
1913 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"Prop"},0]],"Struct"]"##,
1914 ::core::option::Option::Some(root::hax_lib::prop())
1915 );
1916 mk!(
1917 ToProp,
1918 r##"This is the trait [`::hax_lib::prop::ToProp`]."##,
1919 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"ToProp"},0]],"Trait"]"##,
1920 ::core::option::Option::Some(root::hax_lib::prop())
1921 );
1922 mk!(
1923 constructors,
1924 r##"This is the module [`::hax_lib::prop::constructors`]."##,
1925 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"TypeNs":"constructors"},0]],"Mod"]"##,
1926 ::core::option::Option::Some(root::hax_lib::prop())
1927 );
1928 mk!(
1929 exists,
1930 r##"This is the function [`::hax_lib::prop::exists`]."##,
1931 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"ValueNs":"exists"},0]],"Fn"]"##,
1932 ::core::option::Option::Some(root::hax_lib::prop())
1933 );
1934 mk!(
1935 forall,
1936 r##"This is the function [`::hax_lib::prop::forall`]."##,
1937 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"ValueNs":"forall"},0]],"Fn"]"##,
1938 ::core::option::Option::Some(root::hax_lib::prop())
1939 );
1940 mk!(
1941 implies,
1942 r##"This is the function [`::hax_lib::prop::implies`]."##,
1943 r##"["hax_lib",[[{"TypeNs":"prop"},0],[{"ValueNs":"implies"},0]],"Fn"]"##,
1944 ::core::option::Option::Some(root::hax_lib::prop())
1945 );
1946 }
1947 mk!(
1948 RefineAs,
1949 r##"This is the trait [`::hax_lib::RefineAs`]."##,
1950 r##"["hax_lib",[[{"TypeNs":"RefineAs"},0]],"Trait"]"##,
1951 ::core::option::Option::Some(root::hax_lib())
1952 );
1953 mk!(
1954 Refinement,
1955 r##"This is the trait [`::hax_lib::Refinement`]."##,
1956 r##"["hax_lib",[[{"TypeNs":"Refinement"},0]],"Trait"]"##,
1957 ::core::option::Option::Some(root::hax_lib())
1958 );
1959 mk!(
1960 _internal_loop_decreases,
1961 r##"This is the function [`::hax_lib::_internal_loop_decreases`]."##,
1962 r##"["hax_lib",[[{"ValueNs":"_internal_loop_decreases"},0]],"Fn"]"##,
1963 ::core::option::Option::Some(root::hax_lib())
1964 );
1965 mk!(
1966 _internal_loop_invariant,
1967 r##"This is the function [`::hax_lib::_internal_loop_invariant`]."##,
1968 r##"["hax_lib",[[{"ValueNs":"_internal_loop_invariant"},0]],"Fn"]"##,
1969 ::core::option::Option::Some(root::hax_lib())
1970 );
1971 mk!(
1972 _internal_while_loop_invariant,
1973 r##"This is the function [`::hax_lib::_internal_while_loop_invariant`]."##,
1974 r##"["hax_lib",[[{"ValueNs":"_internal_while_loop_invariant"},0]],"Fn"]"##,
1975 ::core::option::Option::Some(root::hax_lib())
1976 );
1977 mk!(
1978 abstraction,
1979 r##"This is the module [`::hax_lib::abstraction`]."##,
1980 r##"["hax_lib",[[{"TypeNs":"abstraction"},0]],"Mod"]"##,
1981 ::core::option::Option::Some(root::hax_lib())
1982 );
1983 mk!(
1984 any_to_unit,
1985 r##"This is the function [`::hax_lib::any_to_unit`]."##,
1986 r##"["hax_lib",[[{"ValueNs":"any_to_unit"},0]],"Fn"]"##,
1987 ::core::option::Option::Some(root::hax_lib())
1988 );
1989 mk!(
1990 assert,
1991 r##"This is the function [`::hax_lib::assert`]."##,
1992 r##"["hax_lib",[[{"ValueNs":"assert"},0]],"Fn"]"##,
1993 ::core::option::Option::Some(root::hax_lib())
1994 );
1995 mk!(
1996 inline,
1997 r##"This is the function [`::hax_lib::inline`]."##,
1998 r##"["hax_lib",[[{"ValueNs":"inline"},0]],"Fn"]"##,
1999 ::core::option::Option::Some(root::hax_lib())
2000 );
2001 mk!(
2002 inline_unsafe,
2003 r##"This is the function [`::hax_lib::inline_unsafe`]."##,
2004 r##"["hax_lib",[[{"ValueNs":"inline_unsafe"},0]],"Fn"]"##,
2005 ::core::option::Option::Some(root::hax_lib())
2006 );
2007 mk!(
2008 int,
2009 r##"This is the module [`::hax_lib::int`]."##,
2010 r##"["hax_lib",[[{"TypeNs":"int"},0]],"Mod"]"##,
2011 ::core::option::Option::Some(root::hax_lib())
2012 );
2013 mk!(
2014 prop,
2015 r##"This is the module [`::hax_lib::prop`]."##,
2016 r##"["hax_lib",[[{"TypeNs":"prop"},0]],"Mod"]"##,
2017 ::core::option::Option::Some(root::hax_lib())
2018 );
2019}
2020pub mod hax_lib_protocol {
2021 #![doc = r##"This is the module [`::hax_lib_protocol`]."##]
2022 use super::root;
2023 pub mod crypto {
2024 #![doc = r##"This is the module [`::hax_lib_protocol::crypto`]."##]
2025 use super::root;
2026 pub mod AEADAlgorithm {
2027 #![doc = r##"This is the enum [`::hax_lib_protocol::crypto::AEADAlgorithm`]."##]
2028 use super::root;
2029 mk!(
2030 Chacha20Poly1305,
2031 r##"This is the variant [`::hax_lib_protocol::crypto::AEADAlgorithm::Chacha20Poly1305`]."##,
2032 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"AEADAlgorithm"},0],[{"TypeNs":"Chacha20Poly1305"},0]],"Variant"]"##,
2033 ::core::option::Option::Some(root::hax_lib_protocol::crypto::AEADAlgorithm())
2034 );
2035 }
2036 pub mod DHGroup {
2037 #![doc = r##"This is the enum [`::hax_lib_protocol::crypto::DHGroup`]."##]
2038 use super::root;
2039 mk!(
2040 X25519,
2041 r##"This is the variant [`::hax_lib_protocol::crypto::DHGroup::X25519`]."##,
2042 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"DHGroup"},0],[{"TypeNs":"X25519"},0]],"Variant"]"##,
2043 ::core::option::Option::Some(root::hax_lib_protocol::crypto::DHGroup())
2044 );
2045 }
2046 pub mod HMACAlgorithm {
2047 #![doc = r##"This is the enum [`::hax_lib_protocol::crypto::HMACAlgorithm`]."##]
2048 use super::root;
2049 mk!(
2050 Sha256,
2051 r##"This is the variant [`::hax_lib_protocol::crypto::HMACAlgorithm::Sha256`]."##,
2052 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"HMACAlgorithm"},0],[{"TypeNs":"Sha256"},0]],"Variant"]"##,
2053 ::core::option::Option::Some(root::hax_lib_protocol::crypto::HMACAlgorithm())
2054 );
2055 }
2056 pub mod HashAlgorithm {
2057 #![doc = r##"This is the enum [`::hax_lib_protocol::crypto::HashAlgorithm`]."##]
2058 use super::root;
2059 mk!(
2060 Sha256,
2061 r##"This is the variant [`::hax_lib_protocol::crypto::HashAlgorithm::Sha256`]."##,
2062 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"HashAlgorithm"},0],[{"TypeNs":"Sha256"},0]],"Variant"]"##,
2063 ::core::option::Option::Some(root::hax_lib_protocol::crypto::HashAlgorithm())
2064 );
2065 }
2066 pub mod Impl {
2067 #![doc = r##"This is an impl block."##]
2068 use super::root;
2069 mk!(
2070 from_bytes,
2071 r##"This is the associated function [`::hax_lib_protocol::crypto::Impl::from_bytes`]."##,
2072 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",0],[{"ValueNs":"from_bytes"},0]],"AssocFn"]"##,
2073 ::core::option::Option::Some(root::hax_lib_protocol::crypto::Impl())
2074 );
2075 }
2076 pub mod Impl__1 {
2077 #![doc = r##"This is an impl block."##]
2078 use super::root;
2079 mk!(
2080 from_bytes,
2081 r##"This is the associated function [`::hax_lib_protocol::crypto::Impl__1::from_bytes`]."##,
2082 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",1],[{"ValueNs":"from_bytes"},0]],"AssocFn"]"##,
2083 ::core::option::Option::Some(root::hax_lib_protocol::crypto::Impl__1())
2084 );
2085 }
2086 pub mod Impl__4 {
2087 #![doc = r##"This is an impl block."##]
2088 use super::root;
2089 mk!(
2090 from_bytes,
2091 r##"This is the associated function [`::hax_lib_protocol::crypto::Impl__4::from_bytes`]."##,
2092 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",4],[{"ValueNs":"from_bytes"},0]],"AssocFn"]"##,
2093 ::core::option::Option::Some(root::hax_lib_protocol::crypto::Impl__4())
2094 );
2095 }
2096 pub mod Impl__5 {
2097 #![doc = r##"This is an impl block."##]
2098 use super::root;
2099 mk!(
2100 from_bytes,
2101 r##"This is the associated function [`::hax_lib_protocol::crypto::Impl__5::from_bytes`]."##,
2102 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",5],[{"ValueNs":"from_bytes"},0]],"AssocFn"]"##,
2103 ::core::option::Option::Some(root::hax_lib_protocol::crypto::Impl__5())
2104 );
2105 }
2106 pub mod Impl__6 {
2107 #![doc = r##"This is an impl block."##]
2108 use super::root;
2109 mk!(
2110 from_bytes,
2111 r##"This is the associated function [`::hax_lib_protocol::crypto::Impl__6::from_bytes`]."##,
2112 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",6],[{"ValueNs":"from_bytes"},0]],"AssocFn"]"##,
2113 ::core::option::Option::Some(root::hax_lib_protocol::crypto::Impl__6())
2114 );
2115 }
2116 mk!(
2117 AEADAlgorithm,
2118 r##"This is the enum [`::hax_lib_protocol::crypto::AEADAlgorithm`]."##,
2119 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"AEADAlgorithm"},0]],"Enum"]"##,
2120 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2121 );
2122 mk!(
2123 AEADIV,
2124 r##"This is the struct [`::hax_lib_protocol::crypto::AEADIV`]."##,
2125 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"AEADIV"},0]],"Struct"]"##,
2126 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2127 );
2128 mk!(
2129 AEADKey,
2130 r##"This is the struct [`::hax_lib_protocol::crypto::AEADKey`]."##,
2131 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"AEADKey"},0]],"Struct"]"##,
2132 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2133 );
2134 mk!(
2135 AEADTag,
2136 r##"This is the struct [`::hax_lib_protocol::crypto::AEADTag`]."##,
2137 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"AEADTag"},0]],"Struct"]"##,
2138 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2139 );
2140 mk!(
2141 DHElement,
2142 r##"This is the struct [`::hax_lib_protocol::crypto::DHElement`]."##,
2143 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"DHElement"},0]],"Struct"]"##,
2144 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2145 );
2146 mk!(
2147 DHGroup,
2148 r##"This is the enum [`::hax_lib_protocol::crypto::DHGroup`]."##,
2149 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"DHGroup"},0]],"Enum"]"##,
2150 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2151 );
2152 mk!(
2153 DHScalar,
2154 r##"This is the struct [`::hax_lib_protocol::crypto::DHScalar`]."##,
2155 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"DHScalar"},0]],"Struct"]"##,
2156 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2157 );
2158 mk!(
2159 HMACAlgorithm,
2160 r##"This is the enum [`::hax_lib_protocol::crypto::HMACAlgorithm`]."##,
2161 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"HMACAlgorithm"},0]],"Enum"]"##,
2162 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2163 );
2164 mk!(
2165 HashAlgorithm,
2166 r##"This is the enum [`::hax_lib_protocol::crypto::HashAlgorithm`]."##,
2167 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"TypeNs":"HashAlgorithm"},0]],"Enum"]"##,
2168 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2169 );
2170 mk!(
2171 Impl,
2172 r##"This is an impl block."##,
2173 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",0]],{"Impl":{"of_trait":false}}]"##,
2174 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2175 );
2176 mk!(
2177 Impl__1,
2178 r##"This is an impl block."##,
2179 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",1]],{"Impl":{"of_trait":false}}]"##,
2180 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2181 );
2182 mk!(
2183 Impl__4,
2184 r##"This is an impl block."##,
2185 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",4]],{"Impl":{"of_trait":false}}]"##,
2186 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2187 );
2188 mk!(
2189 Impl__5,
2190 r##"This is an impl block."##,
2191 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",5]],{"Impl":{"of_trait":false}}]"##,
2192 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2193 );
2194 mk!(
2195 Impl__6,
2196 r##"This is an impl block."##,
2197 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",6]],{"Impl":{"of_trait":false}}]"##,
2198 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2199 );
2200 mk!(
2201 Impl__9,
2202 r##"This is an impl block."##,
2203 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],["Impl",9]],{"Impl":{"of_trait":true}}]"##,
2204 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2205 );
2206 mk!(
2207 aead_decrypt,
2208 r##"This is the function [`::hax_lib_protocol::crypto::aead_decrypt`]."##,
2209 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"ValueNs":"aead_decrypt"},0]],"Fn"]"##,
2210 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2211 );
2212 mk!(
2213 aead_encrypt,
2214 r##"This is the function [`::hax_lib_protocol::crypto::aead_encrypt`]."##,
2215 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"ValueNs":"aead_encrypt"},0]],"Fn"]"##,
2216 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2217 );
2218 mk!(
2219 dh_scalar_multiply,
2220 r##"This is the function [`::hax_lib_protocol::crypto::dh_scalar_multiply`]."##,
2221 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"ValueNs":"dh_scalar_multiply"},0]],"Fn"]"##,
2222 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2223 );
2224 mk!(
2225 dh_scalar_multiply_base,
2226 r##"This is the function [`::hax_lib_protocol::crypto::dh_scalar_multiply_base`]."##,
2227 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"ValueNs":"dh_scalar_multiply_base"},0]],"Fn"]"##,
2228 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2229 );
2230 mk!(
2231 hash,
2232 r##"This is the function [`::hax_lib_protocol::crypto::hash`]."##,
2233 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"ValueNs":"hash"},0]],"Fn"]"##,
2234 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2235 );
2236 mk!(
2237 hmac,
2238 r##"This is the function [`::hax_lib_protocol::crypto::hmac`]."##,
2239 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0],[{"ValueNs":"hmac"},0]],"Fn"]"##,
2240 ::core::option::Option::Some(root::hax_lib_protocol::crypto())
2241 );
2242 }
2243 mk!(
2244 ProtocolError,
2245 r##"This is the enum [`::hax_lib_protocol::ProtocolError`]."##,
2246 r##"["hax_lib_protocol",[[{"TypeNs":"ProtocolError"},0]],"Enum"]"##,
2247 ::core::option::Option::Some(root::hax_lib_protocol())
2248 );
2249 mk!(
2250 crypto,
2251 r##"This is the module [`::hax_lib_protocol::crypto`]."##,
2252 r##"["hax_lib_protocol",[[{"TypeNs":"crypto"},0]],"Mod"]"##,
2253 ::core::option::Option::Some(root::hax_lib_protocol())
2254 );
2255}
2256pub mod rust_primitives {
2257 #![doc = r##"This is the module [`::rust_primitives`]."##]
2258 use super::root;
2259 pub mod crypto_abstractions {
2260 #![doc = r##"This is the module [`::rust_primitives::crypto_abstractions`]."##]
2261 use super::root;
2262 mk!(
2263 Use,
2264 r##"This is the use item [`::rust_primitives::crypto_abstractions::Use`]."##,
2265 r##"["rust_primitives",[[{"TypeNs":"crypto_abstractions"},0],["Use",0]],"Use"]"##,
2266 ::core::option::Option::Some(root::rust_primitives::crypto_abstractions())
2267 );
2268 mk!(
2269 crypto_abstractions,
2270 r##"This is the function [`::rust_primitives::crypto_abstractions::crypto_abstractions`]."##,
2271 r##"["rust_primitives",[[{"TypeNs":"crypto_abstractions"},0],[{"ValueNs":"crypto_abstractions"},0]],"Fn"]"##,
2272 ::core::option::Option::Some(root::rust_primitives::crypto_abstractions())
2273 );
2274 }
2275 pub mod dummy_hax_concrete_ident_wrapper {
2276 #![doc = r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper`]."##]
2277 use super::root;
2278 pub mod ___1 {
2279 #![doc = r##"This is the const [`::rust_primitives::dummy_hax_concrete_ident_wrapper::___1`]."##]
2280 use super::root;
2281 mk!(
2282 Use,
2283 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::___1::Use`]."##,
2284 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},1],["Use",0]],"Use"]"##,
2285 ::core::option::Option::Some(
2286 root::rust_primitives::dummy_hax_concrete_ident_wrapper::___1()
2287 )
2288 );
2289 mk!(
2290 f,
2291 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::___1::f`]."##,
2292 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},1],[{"ValueNs":"f"},0]],"Fn"]"##,
2293 ::core::option::Option::Some(
2294 root::rust_primitives::dummy_hax_concrete_ident_wrapper::___1()
2295 )
2296 );
2297 }
2298 pub mod _anonymous {
2299 #![doc = r##"This is the const [`::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous`]."##]
2300 use super::root;
2301 mk!(
2302 Use,
2303 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous::Use`]."##,
2304 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},0],["Use",0]],"Use"]"##,
2305 ::core::option::Option::Some(
2306 root::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous()
2307 )
2308 );
2309 mk!(
2310 Use__1,
2311 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous::Use__1`]."##,
2312 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},0],["Use",1]],"Use"]"##,
2313 ::core::option::Option::Some(
2314 root::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous()
2315 )
2316 );
2317 mk!(
2318 Use__2,
2319 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous::Use__2`]."##,
2320 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},0],["Use",2]],"Use"]"##,
2321 ::core::option::Option::Some(
2322 root::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous()
2323 )
2324 );
2325 mk!(
2326 arith,
2327 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous::arith`]."##,
2328 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},0],[{"ValueNs":"arith"},0]],"Fn"]"##,
2329 ::core::option::Option::Some(
2330 root::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous()
2331 )
2332 );
2333 }
2334 pub mod props {
2335 #![doc = r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::props`]."##]
2336 use super::root;
2337 mk!(
2338 Use,
2339 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::props::Use`]."##,
2340 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"props"},0],["Use",0]],"Use"]"##,
2341 ::core::option::Option::Some(
2342 root::rust_primitives::dummy_hax_concrete_ident_wrapper::props()
2343 )
2344 );
2345 }
2346 mk!(
2347 Use,
2348 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::Use`]."##,
2349 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],["Use",0]],"Use"]"##,
2350 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2351 );
2352 mk!(
2353 Use__1,
2354 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::Use__1`]."##,
2355 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],["Use",1]],"Use"]"##,
2356 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2357 );
2358 mk!(
2359 Use__2,
2360 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::Use__2`]."##,
2361 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],["Use",2]],"Use"]"##,
2362 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2363 );
2364 mk!(
2365 Use__3,
2366 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::Use__3`]."##,
2367 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],["Use",3]],"Use"]"##,
2368 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2369 );
2370 mk!(
2371 Use__4,
2372 r##"This is the use item [`::rust_primitives::dummy_hax_concrete_ident_wrapper::Use__4`]."##,
2373 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],["Use",4]],"Use"]"##,
2374 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2375 );
2376 mk!(
2377 ___1,
2378 r##"This is the const [`::rust_primitives::dummy_hax_concrete_ident_wrapper::___1`]."##,
2379 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},1]],"Const"]"##,
2380 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2381 );
2382 mk!(
2383 _anonymous,
2384 r##"This is the const [`::rust_primitives::dummy_hax_concrete_ident_wrapper::_anonymous`]."##,
2385 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"_"},0]],"Const"]"##,
2386 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2387 );
2388 mk!(
2389 dummy,
2390 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::dummy`]."##,
2391 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"dummy"},0]],"Fn"]"##,
2392 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2393 );
2394 mk!(
2395 iterator_functions,
2396 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::iterator_functions`]."##,
2397 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"iterator_functions"},0]],"Fn"]"##,
2398 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2399 );
2400 mk!(
2401 props,
2402 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::props`]."##,
2403 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"props"},0]],"Fn"]"##,
2404 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2405 );
2406 mk!(
2407 question_mark_result,
2408 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::question_mark_result`]."##,
2409 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"question_mark_result"},0]],"Fn"]"##,
2410 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2411 );
2412 mk!(
2413 refinements,
2414 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper::refinements`]."##,
2415 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0],[{"ValueNs":"refinements"},0]],"Fn"]"##,
2416 ::core::option::Option::Some(root::rust_primitives::dummy_hax_concrete_ident_wrapper())
2417 );
2418 }
2419 pub mod hax {
2420 #![doc = r##"This is the module [`::rust_primitives::hax`]."##]
2421 use super::root;
2422 pub mod Tuple0 {
2423 #![doc = r##"This is the struct [`::rust_primitives::hax::Tuple0`]."##]
2424 use super::root;
2425 mk!(
2426 ctor,
2427 r##"This is the constructor for [`::rust_primitives::hax::Tuple0`]."##,
2428 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple0"},0]],{"Ctor":["Struct","Fn"]}]"##,
2429 ::core::option::Option::Some(root::rust_primitives::hax())
2430 );
2431 }
2432 pub mod Tuple2 {
2433 #![doc = r##"This is the struct [`::rust_primitives::hax::Tuple2`]."##]
2434 use super::root;
2435 mk!(
2436 Tuple0,
2437 r##"This is the field [`Tuple0`] from ::rust_primitives::hax::Tuple2."##,
2438 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple2"},0],[{"ValueNs":"Tuple0"},0]],"Field"]"##,
2439 ::core::option::Option::Some(root::rust_primitives::hax::Tuple2())
2440 );
2441 mk!(
2442 Tuple1,
2443 r##"This is the field [`Tuple1`] from ::rust_primitives::hax::Tuple2."##,
2444 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple2"},0],[{"ValueNs":"Tuple1"},0]],"Field"]"##,
2445 ::core::option::Option::Some(root::rust_primitives::hax::Tuple2())
2446 );
2447 mk!(
2448 _0,
2449 r##"This is the field [`_0`] from ::rust_primitives::hax::Tuple2."##,
2450 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple2"},0],[{"ValueNs":"0"},0]],"Field"]"##,
2451 ::core::option::Option::Some(root::rust_primitives::hax::Tuple2())
2452 );
2453 mk!(
2454 _1,
2455 r##"This is the field [`_1`] from ::rust_primitives::hax::Tuple2."##,
2456 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple2"},0],[{"ValueNs":"1"},0]],"Field"]"##,
2457 ::core::option::Option::Some(root::rust_primitives::hax::Tuple2())
2458 );
2459 mk!(
2460 ctor,
2461 r##"This is the constructor for [`::rust_primitives::hax::Tuple2`]."##,
2462 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple2"},0]],{"Ctor":["Struct","Fn"]}]"##,
2463 ::core::option::Option::Some(root::rust_primitives::hax())
2464 );
2465 }
2466 pub mod control_flow_monad {
2467 #![doc = r##"This is the module [`::rust_primitives::hax::control_flow_monad`]."##]
2468 use super::root;
2469 pub mod ControlFlowMonad {
2470 #![doc = r##"This is the trait [`::rust_primitives::hax::control_flow_monad::ControlFlowMonad`]."##]
2471 use super::root;
2472 mk!(
2473 lift,
2474 r##"This is the associated function [`::rust_primitives::hax::control_flow_monad::ControlFlowMonad::lift`]."##,
2475 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"ControlFlowMonad"},0],[{"ValueNs":"lift"},0]],"AssocFn"]"##,
2476 ::core::option::Option::Some(
2477 root::rust_primitives::hax::control_flow_monad::ControlFlowMonad()
2478 )
2479 );
2480 }
2481 pub mod mexception {
2482 #![doc = r##"This is the module [`::rust_primitives::hax::control_flow_monad::mexception`]."##]
2483 use super::root;
2484 mk!(
2485 run,
2486 r##"This is the function [`::rust_primitives::hax::control_flow_monad::mexception::run`]."##,
2487 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"mexception"},0],[{"ValueNs":"run"},0]],"Fn"]"##,
2488 ::core::option::Option::Some(
2489 root::rust_primitives::hax::control_flow_monad::mexception()
2490 )
2491 );
2492 }
2493 pub mod moption {
2494 #![doc = r##"This is the module [`::rust_primitives::hax::control_flow_monad::moption`]."##]
2495 use super::root;
2496 mk!(
2497 run,
2498 r##"This is the function [`::rust_primitives::hax::control_flow_monad::moption::run`]."##,
2499 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"moption"},0],[{"ValueNs":"run"},0]],"Fn"]"##,
2500 ::core::option::Option::Some(
2501 root::rust_primitives::hax::control_flow_monad::moption()
2502 )
2503 );
2504 }
2505 pub mod mresult {
2506 #![doc = r##"This is the module [`::rust_primitives::hax::control_flow_monad::mresult`]."##]
2507 use super::root;
2508 mk!(
2509 run,
2510 r##"This is the function [`::rust_primitives::hax::control_flow_monad::mresult::run`]."##,
2511 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"mresult"},0],[{"ValueNs":"run"},0]],"Fn"]"##,
2512 ::core::option::Option::Some(
2513 root::rust_primitives::hax::control_flow_monad::mresult()
2514 )
2515 );
2516 }
2517 mk!(
2518 ControlFlowMonad,
2519 r##"This is the trait [`::rust_primitives::hax::control_flow_monad::ControlFlowMonad`]."##,
2520 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"ControlFlowMonad"},0]],"Trait"]"##,
2521 ::core::option::Option::Some(root::rust_primitives::hax::control_flow_monad())
2522 );
2523 mk!(
2524 mexception,
2525 r##"This is the module [`::rust_primitives::hax::control_flow_monad::mexception`]."##,
2526 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"mexception"},0]],"Mod"]"##,
2527 ::core::option::Option::Some(root::rust_primitives::hax::control_flow_monad())
2528 );
2529 mk!(
2530 moption,
2531 r##"This is the module [`::rust_primitives::hax::control_flow_monad::moption`]."##,
2532 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"moption"},0]],"Mod"]"##,
2533 ::core::option::Option::Some(root::rust_primitives::hax::control_flow_monad())
2534 );
2535 mk!(
2536 mresult,
2537 r##"This is the module [`::rust_primitives::hax::control_flow_monad::mresult`]."##,
2538 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0],[{"TypeNs":"mresult"},0]],"Mod"]"##,
2539 ::core::option::Option::Some(root::rust_primitives::hax::control_flow_monad())
2540 );
2541 }
2542 pub mod folds {
2543 #![doc = r##"This is the module [`::rust_primitives::hax::folds`]."##]
2544 use super::root;
2545 mk!(
2546 fold_cf,
2547 r##"This is the function [`::rust_primitives::hax::folds::fold_cf`]."##,
2548 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_cf"},0]],"Fn"]"##,
2549 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2550 );
2551 mk!(
2552 fold_chunked_slice,
2553 r##"This is the function [`::rust_primitives::hax::folds::fold_chunked_slice`]."##,
2554 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_chunked_slice"},0]],"Fn"]"##,
2555 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2556 );
2557 mk!(
2558 fold_chunked_slice_cf,
2559 r##"This is the function [`::rust_primitives::hax::folds::fold_chunked_slice_cf`]."##,
2560 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_chunked_slice_cf"},0]],"Fn"]"##,
2561 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2562 );
2563 mk!(
2564 fold_chunked_slice_return,
2565 r##"This is the function [`::rust_primitives::hax::folds::fold_chunked_slice_return`]."##,
2566 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_chunked_slice_return"},0]],"Fn"]"##,
2567 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2568 );
2569 mk!(
2570 fold_enumerated_chunked_slice,
2571 r##"This is the function [`::rust_primitives::hax::folds::fold_enumerated_chunked_slice`]."##,
2572 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_enumerated_chunked_slice"},0]],"Fn"]"##,
2573 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2574 );
2575 mk!(
2576 fold_enumerated_chunked_slice_cf,
2577 r##"This is the function [`::rust_primitives::hax::folds::fold_enumerated_chunked_slice_cf`]."##,
2578 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_enumerated_chunked_slice_cf"},0]],"Fn"]"##,
2579 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2580 );
2581 mk!(
2582 fold_enumerated_chunked_slice_return,
2583 r##"This is the function [`::rust_primitives::hax::folds::fold_enumerated_chunked_slice_return`]."##,
2584 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_enumerated_chunked_slice_return"},0]],"Fn"]"##,
2585 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2586 );
2587 mk!(
2588 fold_enumerated_slice,
2589 r##"This is the function [`::rust_primitives::hax::folds::fold_enumerated_slice`]."##,
2590 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_enumerated_slice"},0]],"Fn"]"##,
2591 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2592 );
2593 mk!(
2594 fold_enumerated_slice_cf,
2595 r##"This is the function [`::rust_primitives::hax::folds::fold_enumerated_slice_cf`]."##,
2596 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_enumerated_slice_cf"},0]],"Fn"]"##,
2597 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2598 );
2599 mk!(
2600 fold_enumerated_slice_return,
2601 r##"This is the function [`::rust_primitives::hax::folds::fold_enumerated_slice_return`]."##,
2602 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_enumerated_slice_return"},0]],"Fn"]"##,
2603 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2604 );
2605 mk!(
2606 fold_range,
2607 r##"This is the function [`::rust_primitives::hax::folds::fold_range`]."##,
2608 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_range"},0]],"Fn"]"##,
2609 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2610 );
2611 mk!(
2612 fold_range_cf,
2613 r##"This is the function [`::rust_primitives::hax::folds::fold_range_cf`]."##,
2614 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_range_cf"},0]],"Fn"]"##,
2615 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2616 );
2617 mk!(
2618 fold_range_return,
2619 r##"This is the function [`::rust_primitives::hax::folds::fold_range_return`]."##,
2620 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_range_return"},0]],"Fn"]"##,
2621 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2622 );
2623 mk!(
2624 fold_range_step_by,
2625 r##"This is the function [`::rust_primitives::hax::folds::fold_range_step_by`]."##,
2626 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_range_step_by"},0]],"Fn"]"##,
2627 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2628 );
2629 mk!(
2630 fold_range_step_by_cf,
2631 r##"This is the function [`::rust_primitives::hax::folds::fold_range_step_by_cf`]."##,
2632 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_range_step_by_cf"},0]],"Fn"]"##,
2633 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2634 );
2635 mk!(
2636 fold_range_step_by_return,
2637 r##"This is the function [`::rust_primitives::hax::folds::fold_range_step_by_return`]."##,
2638 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_range_step_by_return"},0]],"Fn"]"##,
2639 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2640 );
2641 mk!(
2642 fold_return,
2643 r##"This is the function [`::rust_primitives::hax::folds::fold_return`]."##,
2644 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0],[{"ValueNs":"fold_return"},0]],"Fn"]"##,
2645 ::core::option::Option::Some(root::rust_primitives::hax::folds())
2646 );
2647 }
2648 pub mod int {
2649 #![doc = r##"This is the module [`::rust_primitives::hax::int`]."##]
2650 use super::root;
2651 mk!(
2652 add,
2653 r##"This is the function [`::rust_primitives::hax::int::add`]."##,
2654 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
2655 ::core::option::Option::Some(root::rust_primitives::hax::int())
2656 );
2657 mk!(
2658 div,
2659 r##"This is the function [`::rust_primitives::hax::int::div`]."##,
2660 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
2661 ::core::option::Option::Some(root::rust_primitives::hax::int())
2662 );
2663 mk!(
2664 eq,
2665 r##"This is the function [`::rust_primitives::hax::int::eq`]."##,
2666 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
2667 ::core::option::Option::Some(root::rust_primitives::hax::int())
2668 );
2669 mk!(
2670 from_machine,
2671 r##"This is the function [`::rust_primitives::hax::int::from_machine`]."##,
2672 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"from_machine"},0]],"Fn"]"##,
2673 ::core::option::Option::Some(root::rust_primitives::hax::int())
2674 );
2675 mk!(
2676 ge,
2677 r##"This is the function [`::rust_primitives::hax::int::ge`]."##,
2678 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
2679 ::core::option::Option::Some(root::rust_primitives::hax::int())
2680 );
2681 mk!(
2682 gt,
2683 r##"This is the function [`::rust_primitives::hax::int::gt`]."##,
2684 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
2685 ::core::option::Option::Some(root::rust_primitives::hax::int())
2686 );
2687 mk!(
2688 into_machine,
2689 r##"This is the function [`::rust_primitives::hax::int::into_machine`]."##,
2690 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"into_machine"},0]],"Fn"]"##,
2691 ::core::option::Option::Some(root::rust_primitives::hax::int())
2692 );
2693 mk!(
2694 le,
2695 r##"This is the function [`::rust_primitives::hax::int::le`]."##,
2696 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
2697 ::core::option::Option::Some(root::rust_primitives::hax::int())
2698 );
2699 mk!(
2700 lt,
2701 r##"This is the function [`::rust_primitives::hax::int::lt`]."##,
2702 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
2703 ::core::option::Option::Some(root::rust_primitives::hax::int())
2704 );
2705 mk!(
2706 mul,
2707 r##"This is the function [`::rust_primitives::hax::int::mul`]."##,
2708 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
2709 ::core::option::Option::Some(root::rust_primitives::hax::int())
2710 );
2711 mk!(
2712 ne,
2713 r##"This is the function [`::rust_primitives::hax::int::ne`]."##,
2714 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
2715 ::core::option::Option::Some(root::rust_primitives::hax::int())
2716 );
2717 mk!(
2718 neg,
2719 r##"This is the function [`::rust_primitives::hax::int::neg`]."##,
2720 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
2721 ::core::option::Option::Some(root::rust_primitives::hax::int())
2722 );
2723 mk!(
2724 rem,
2725 r##"This is the function [`::rust_primitives::hax::int::rem`]."##,
2726 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
2727 ::core::option::Option::Some(root::rust_primitives::hax::int())
2728 );
2729 mk!(
2730 sub,
2731 r##"This is the function [`::rust_primitives::hax::int::sub`]."##,
2732 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
2733 ::core::option::Option::Some(root::rust_primitives::hax::int())
2734 );
2735 }
2736 pub mod machine_int {
2737 #![doc = r##"This is the module [`::rust_primitives::hax::machine_int`]."##]
2738 use super::root;
2739 mk!(
2740 add,
2741 r##"This is the function [`::rust_primitives::hax::machine_int::add`]."##,
2742 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
2743 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2744 );
2745 mk!(
2746 bitand,
2747 r##"This is the function [`::rust_primitives::hax::machine_int::bitand`]."##,
2748 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"bitand"},0]],"Fn"]"##,
2749 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2750 );
2751 mk!(
2752 bitor,
2753 r##"This is the function [`::rust_primitives::hax::machine_int::bitor`]."##,
2754 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"bitor"},0]],"Fn"]"##,
2755 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2756 );
2757 mk!(
2758 bitxor,
2759 r##"This is the function [`::rust_primitives::hax::machine_int::bitxor`]."##,
2760 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"bitxor"},0]],"Fn"]"##,
2761 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2762 );
2763 mk!(
2764 div,
2765 r##"This is the function [`::rust_primitives::hax::machine_int::div`]."##,
2766 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
2767 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2768 );
2769 mk!(
2770 eq,
2771 r##"This is the function [`::rust_primitives::hax::machine_int::eq`]."##,
2772 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
2773 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2774 );
2775 mk!(
2776 ge,
2777 r##"This is the function [`::rust_primitives::hax::machine_int::ge`]."##,
2778 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
2779 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2780 );
2781 mk!(
2782 gt,
2783 r##"This is the function [`::rust_primitives::hax::machine_int::gt`]."##,
2784 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
2785 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2786 );
2787 mk!(
2788 le,
2789 r##"This is the function [`::rust_primitives::hax::machine_int::le`]."##,
2790 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
2791 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2792 );
2793 mk!(
2794 lt,
2795 r##"This is the function [`::rust_primitives::hax::machine_int::lt`]."##,
2796 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
2797 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2798 );
2799 mk!(
2800 mul,
2801 r##"This is the function [`::rust_primitives::hax::machine_int::mul`]."##,
2802 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
2803 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2804 );
2805 mk!(
2806 ne,
2807 r##"This is the function [`::rust_primitives::hax::machine_int::ne`]."##,
2808 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
2809 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2810 );
2811 mk!(
2812 not,
2813 r##"This is the function [`::rust_primitives::hax::machine_int::not`]."##,
2814 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"not"},0]],"Fn"]"##,
2815 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2816 );
2817 mk!(
2818 rem,
2819 r##"This is the function [`::rust_primitives::hax::machine_int::rem`]."##,
2820 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
2821 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2822 );
2823 mk!(
2824 shl,
2825 r##"This is the function [`::rust_primitives::hax::machine_int::shl`]."##,
2826 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
2827 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2828 );
2829 mk!(
2830 shr,
2831 r##"This is the function [`::rust_primitives::hax::machine_int::shr`]."##,
2832 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
2833 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2834 );
2835 mk!(
2836 sub,
2837 r##"This is the function [`::rust_primitives::hax::machine_int::sub`]."##,
2838 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
2839 ::core::option::Option::Some(root::rust_primitives::hax::machine_int())
2840 );
2841 }
2842 pub mod monomorphized_update_at {
2843 #![doc = r##"This is the module [`::rust_primitives::hax::monomorphized_update_at`]."##]
2844 use super::root;
2845 mk!(
2846 update_at_range,
2847 r##"This is the function [`::rust_primitives::hax::monomorphized_update_at::update_at_range`]."##,
2848 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"monomorphized_update_at"},0],[{"ValueNs":"update_at_range"},0]],"Fn"]"##,
2849 ::core::option::Option::Some(root::rust_primitives::hax::monomorphized_update_at())
2850 );
2851 mk!(
2852 update_at_range_from,
2853 r##"This is the function [`::rust_primitives::hax::monomorphized_update_at::update_at_range_from`]."##,
2854 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"monomorphized_update_at"},0],[{"ValueNs":"update_at_range_from"},0]],"Fn"]"##,
2855 ::core::option::Option::Some(root::rust_primitives::hax::monomorphized_update_at())
2856 );
2857 mk!(
2858 update_at_range_full,
2859 r##"This is the function [`::rust_primitives::hax::monomorphized_update_at::update_at_range_full`]."##,
2860 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"monomorphized_update_at"},0],[{"ValueNs":"update_at_range_full"},0]],"Fn"]"##,
2861 ::core::option::Option::Some(root::rust_primitives::hax::monomorphized_update_at())
2862 );
2863 mk!(
2864 update_at_range_to,
2865 r##"This is the function [`::rust_primitives::hax::monomorphized_update_at::update_at_range_to`]."##,
2866 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"monomorphized_update_at"},0],[{"ValueNs":"update_at_range_to"},0]],"Fn"]"##,
2867 ::core::option::Option::Some(root::rust_primitives::hax::monomorphized_update_at())
2868 );
2869 mk!(
2870 update_at_usize,
2871 r##"This is the function [`::rust_primitives::hax::monomorphized_update_at::update_at_usize`]."##,
2872 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"monomorphized_update_at"},0],[{"ValueNs":"update_at_usize"},0]],"Fn"]"##,
2873 ::core::option::Option::Some(root::rust_primitives::hax::monomorphized_update_at())
2874 );
2875 }
2876 mk!(
2877 Failure,
2878 r##"This is the struct [`::rust_primitives::hax::Failure`]."##,
2879 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Failure"},0]],"Struct"]"##,
2880 ::core::option::Option::Some(root::rust_primitives::hax())
2881 );
2882 mk!(
2883 MutRef,
2884 r##"This is the enum [`::rust_primitives::hax::MutRef`]."##,
2885 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"MutRef"},0]],"Enum"]"##,
2886 ::core::option::Option::Some(root::rust_primitives::hax())
2887 );
2888 mk!(
2889 Never,
2890 r##"This is the enum [`::rust_primitives::hax::Never`]."##,
2891 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Never"},0]],"Enum"]"##,
2892 ::core::option::Option::Some(root::rust_primitives::hax())
2893 );
2894 mk!(
2895 Tuple0,
2896 r##"This is the struct [`::rust_primitives::hax::Tuple0`]."##,
2897 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple0"},0]],"Struct"]"##,
2898 ::core::option::Option::Some(root::rust_primitives::hax())
2899 );
2900 mk!(
2901 Tuple1,
2902 r##"This is the struct [`::rust_primitives::hax::Tuple1`]."##,
2903 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple1"},0]],"Struct"]"##,
2904 ::core::option::Option::Some(root::rust_primitives::hax())
2905 );
2906 mk!(
2907 Tuple2,
2908 r##"This is the struct [`::rust_primitives::hax::Tuple2`]."##,
2909 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"Tuple2"},0]],"Struct"]"##,
2910 ::core::option::Option::Some(root::rust_primitives::hax())
2911 );
2912 mk!(
2913 array_of_list,
2914 r##"This is the function [`::rust_primitives::hax::array_of_list`]."##,
2915 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"array_of_list"},0]],"Fn"]"##,
2916 ::core::option::Option::Some(root::rust_primitives::hax())
2917 );
2918 mk!(
2919 box_new,
2920 r##"This is the function [`::rust_primitives::hax::box_new`]."##,
2921 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"box_new"},0]],"Fn"]"##,
2922 ::core::option::Option::Some(root::rust_primitives::hax())
2923 );
2924 mk!(
2925 cast_op,
2926 r##"This is the function [`::rust_primitives::hax::cast_op`]."##,
2927 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"cast_op"},0]],"Fn"]"##,
2928 ::core::option::Option::Some(root::rust_primitives::hax())
2929 );
2930 mk!(
2931 control_flow_monad,
2932 r##"This is the module [`::rust_primitives::hax::control_flow_monad`]."##,
2933 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"control_flow_monad"},0]],"Mod"]"##,
2934 ::core::option::Option::Some(root::rust_primitives::hax())
2935 );
2936 mk!(
2937 deref_op,
2938 r##"This is the function [`::rust_primitives::hax::deref_op`]."##,
2939 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"deref_op"},0]],"Fn"]"##,
2940 ::core::option::Option::Some(root::rust_primitives::hax())
2941 );
2942 mk!(
2943 dropped_body,
2944 r##"This is the function [`::rust_primitives::hax::dropped_body`]."##,
2945 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"dropped_body"},0]],"Fn"]"##,
2946 ::core::option::Option::Some(root::rust_primitives::hax())
2947 );
2948 mk!(
2949 failure,
2950 r##"This is the function [`::rust_primitives::hax::failure`]."##,
2951 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"failure"},0]],"Fn"]"##,
2952 ::core::option::Option::Some(root::rust_primitives::hax())
2953 );
2954 mk!(
2955 folds,
2956 r##"This is the module [`::rust_primitives::hax::folds`]."##,
2957 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"folds"},0]],"Mod"]"##,
2958 ::core::option::Option::Some(root::rust_primitives::hax())
2959 );
2960 mk!(
2961 int,
2962 r##"This is the module [`::rust_primitives::hax::int`]."##,
2963 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"int"},0]],"Mod"]"##,
2964 ::core::option::Option::Some(root::rust_primitives::hax())
2965 );
2966 mk!(
2967 logical_op_and,
2968 r##"This is the function [`::rust_primitives::hax::logical_op_and`]."##,
2969 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"logical_op_and"},0]],"Fn"]"##,
2970 ::core::option::Option::Some(root::rust_primitives::hax())
2971 );
2972 mk!(
2973 logical_op_or,
2974 r##"This is the function [`::rust_primitives::hax::logical_op_or`]."##,
2975 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"logical_op_or"},0]],"Fn"]"##,
2976 ::core::option::Option::Some(root::rust_primitives::hax())
2977 );
2978 mk!(
2979 machine_int,
2980 r##"This is the module [`::rust_primitives::hax::machine_int`]."##,
2981 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"machine_int"},0]],"Mod"]"##,
2982 ::core::option::Option::Some(root::rust_primitives::hax())
2983 );
2984 mk!(
2985 monomorphized_update_at,
2986 r##"This is the module [`::rust_primitives::hax::monomorphized_update_at`]."##,
2987 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"TypeNs":"monomorphized_update_at"},0]],"Mod"]"##,
2988 ::core::option::Option::Some(root::rust_primitives::hax())
2989 );
2990 mk!(
2991 never_to_any,
2992 r##"This is the function [`::rust_primitives::hax::never_to_any`]."##,
2993 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"never_to_any"},0]],"Fn"]"##,
2994 ::core::option::Option::Some(root::rust_primitives::hax())
2995 );
2996 mk!(
2997 repeat,
2998 r##"This is the function [`::rust_primitives::hax::repeat`]."##,
2999 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"repeat"},0]],"Fn"]"##,
3000 ::core::option::Option::Some(root::rust_primitives::hax())
3001 );
3002 mk!(
3003 update_at,
3004 r##"This is the function [`::rust_primitives::hax::update_at`]."##,
3005 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"update_at"},0]],"Fn"]"##,
3006 ::core::option::Option::Some(root::rust_primitives::hax())
3007 );
3008 mk!(
3009 while_loop,
3010 r##"This is the function [`::rust_primitives::hax::while_loop`]."##,
3011 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"while_loop"},0]],"Fn"]"##,
3012 ::core::option::Option::Some(root::rust_primitives::hax())
3013 );
3014 mk!(
3015 while_loop_cf,
3016 r##"This is the function [`::rust_primitives::hax::while_loop_cf`]."##,
3017 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"while_loop_cf"},0]],"Fn"]"##,
3018 ::core::option::Option::Some(root::rust_primitives::hax())
3019 );
3020 mk!(
3021 while_loop_return,
3022 r##"This is the function [`::rust_primitives::hax::while_loop_return`]."##,
3023 r##"["rust_primitives",[[{"TypeNs":"hax"},0],[{"ValueNs":"while_loop_return"},0]],"Fn"]"##,
3024 ::core::option::Option::Some(root::rust_primitives::hax())
3025 );
3026 }
3027 pub mod i128 {
3028 #![doc = r##"This is the module [`::rust_primitives::i128`]."##]
3029 use super::root;
3030 mk!(
3031 add,
3032 r##"This is the function [`::rust_primitives::i128::add`]."##,
3033 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3034 ::core::option::Option::Some(root::rust_primitives::i128())
3035 );
3036 mk!(
3037 bit_and,
3038 r##"This is the function [`::rust_primitives::i128::bit_and`]."##,
3039 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3040 ::core::option::Option::Some(root::rust_primitives::i128())
3041 );
3042 mk!(
3043 bit_or,
3044 r##"This is the function [`::rust_primitives::i128::bit_or`]."##,
3045 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3046 ::core::option::Option::Some(root::rust_primitives::i128())
3047 );
3048 mk!(
3049 bit_xor,
3050 r##"This is the function [`::rust_primitives::i128::bit_xor`]."##,
3051 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3052 ::core::option::Option::Some(root::rust_primitives::i128())
3053 );
3054 mk!(
3055 div,
3056 r##"This is the function [`::rust_primitives::i128::div`]."##,
3057 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3058 ::core::option::Option::Some(root::rust_primitives::i128())
3059 );
3060 mk!(
3061 eq,
3062 r##"This is the function [`::rust_primitives::i128::eq`]."##,
3063 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3064 ::core::option::Option::Some(root::rust_primitives::i128())
3065 );
3066 mk!(
3067 ge,
3068 r##"This is the function [`::rust_primitives::i128::ge`]."##,
3069 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3070 ::core::option::Option::Some(root::rust_primitives::i128())
3071 );
3072 mk!(
3073 gt,
3074 r##"This is the function [`::rust_primitives::i128::gt`]."##,
3075 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3076 ::core::option::Option::Some(root::rust_primitives::i128())
3077 );
3078 mk!(
3079 le,
3080 r##"This is the function [`::rust_primitives::i128::le`]."##,
3081 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3082 ::core::option::Option::Some(root::rust_primitives::i128())
3083 );
3084 mk!(
3085 lt,
3086 r##"This is the function [`::rust_primitives::i128::lt`]."##,
3087 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3088 ::core::option::Option::Some(root::rust_primitives::i128())
3089 );
3090 mk!(
3091 mul,
3092 r##"This is the function [`::rust_primitives::i128::mul`]."##,
3093 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3094 ::core::option::Option::Some(root::rust_primitives::i128())
3095 );
3096 mk!(
3097 ne,
3098 r##"This is the function [`::rust_primitives::i128::ne`]."##,
3099 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3100 ::core::option::Option::Some(root::rust_primitives::i128())
3101 );
3102 mk!(
3103 neg,
3104 r##"This is the function [`::rust_primitives::i128::neg`]."##,
3105 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3106 ::core::option::Option::Some(root::rust_primitives::i128())
3107 );
3108 mk!(
3109 rem,
3110 r##"This is the function [`::rust_primitives::i128::rem`]."##,
3111 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3112 ::core::option::Option::Some(root::rust_primitives::i128())
3113 );
3114 mk!(
3115 shl,
3116 r##"This is the function [`::rust_primitives::i128::shl`]."##,
3117 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3118 ::core::option::Option::Some(root::rust_primitives::i128())
3119 );
3120 mk!(
3121 shr,
3122 r##"This is the function [`::rust_primitives::i128::shr`]."##,
3123 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3124 ::core::option::Option::Some(root::rust_primitives::i128())
3125 );
3126 mk!(
3127 sub,
3128 r##"This is the function [`::rust_primitives::i128::sub`]."##,
3129 r##"["rust_primitives",[[{"TypeNs":"i128"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3130 ::core::option::Option::Some(root::rust_primitives::i128())
3131 );
3132 }
3133 pub mod i16 {
3134 #![doc = r##"This is the module [`::rust_primitives::i16`]."##]
3135 use super::root;
3136 mk!(
3137 add,
3138 r##"This is the function [`::rust_primitives::i16::add`]."##,
3139 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3140 ::core::option::Option::Some(root::rust_primitives::i16())
3141 );
3142 mk!(
3143 bit_and,
3144 r##"This is the function [`::rust_primitives::i16::bit_and`]."##,
3145 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3146 ::core::option::Option::Some(root::rust_primitives::i16())
3147 );
3148 mk!(
3149 bit_or,
3150 r##"This is the function [`::rust_primitives::i16::bit_or`]."##,
3151 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3152 ::core::option::Option::Some(root::rust_primitives::i16())
3153 );
3154 mk!(
3155 bit_xor,
3156 r##"This is the function [`::rust_primitives::i16::bit_xor`]."##,
3157 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3158 ::core::option::Option::Some(root::rust_primitives::i16())
3159 );
3160 mk!(
3161 div,
3162 r##"This is the function [`::rust_primitives::i16::div`]."##,
3163 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3164 ::core::option::Option::Some(root::rust_primitives::i16())
3165 );
3166 mk!(
3167 eq,
3168 r##"This is the function [`::rust_primitives::i16::eq`]."##,
3169 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3170 ::core::option::Option::Some(root::rust_primitives::i16())
3171 );
3172 mk!(
3173 ge,
3174 r##"This is the function [`::rust_primitives::i16::ge`]."##,
3175 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3176 ::core::option::Option::Some(root::rust_primitives::i16())
3177 );
3178 mk!(
3179 gt,
3180 r##"This is the function [`::rust_primitives::i16::gt`]."##,
3181 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3182 ::core::option::Option::Some(root::rust_primitives::i16())
3183 );
3184 mk!(
3185 le,
3186 r##"This is the function [`::rust_primitives::i16::le`]."##,
3187 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3188 ::core::option::Option::Some(root::rust_primitives::i16())
3189 );
3190 mk!(
3191 lt,
3192 r##"This is the function [`::rust_primitives::i16::lt`]."##,
3193 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3194 ::core::option::Option::Some(root::rust_primitives::i16())
3195 );
3196 mk!(
3197 mul,
3198 r##"This is the function [`::rust_primitives::i16::mul`]."##,
3199 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3200 ::core::option::Option::Some(root::rust_primitives::i16())
3201 );
3202 mk!(
3203 ne,
3204 r##"This is the function [`::rust_primitives::i16::ne`]."##,
3205 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3206 ::core::option::Option::Some(root::rust_primitives::i16())
3207 );
3208 mk!(
3209 neg,
3210 r##"This is the function [`::rust_primitives::i16::neg`]."##,
3211 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3212 ::core::option::Option::Some(root::rust_primitives::i16())
3213 );
3214 mk!(
3215 rem,
3216 r##"This is the function [`::rust_primitives::i16::rem`]."##,
3217 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3218 ::core::option::Option::Some(root::rust_primitives::i16())
3219 );
3220 mk!(
3221 shl,
3222 r##"This is the function [`::rust_primitives::i16::shl`]."##,
3223 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3224 ::core::option::Option::Some(root::rust_primitives::i16())
3225 );
3226 mk!(
3227 shr,
3228 r##"This is the function [`::rust_primitives::i16::shr`]."##,
3229 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3230 ::core::option::Option::Some(root::rust_primitives::i16())
3231 );
3232 mk!(
3233 sub,
3234 r##"This is the function [`::rust_primitives::i16::sub`]."##,
3235 r##"["rust_primitives",[[{"TypeNs":"i16"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3236 ::core::option::Option::Some(root::rust_primitives::i16())
3237 );
3238 }
3239 pub mod i32 {
3240 #![doc = r##"This is the module [`::rust_primitives::i32`]."##]
3241 use super::root;
3242 mk!(
3243 add,
3244 r##"This is the function [`::rust_primitives::i32::add`]."##,
3245 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3246 ::core::option::Option::Some(root::rust_primitives::i32())
3247 );
3248 mk!(
3249 bit_and,
3250 r##"This is the function [`::rust_primitives::i32::bit_and`]."##,
3251 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3252 ::core::option::Option::Some(root::rust_primitives::i32())
3253 );
3254 mk!(
3255 bit_or,
3256 r##"This is the function [`::rust_primitives::i32::bit_or`]."##,
3257 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3258 ::core::option::Option::Some(root::rust_primitives::i32())
3259 );
3260 mk!(
3261 bit_xor,
3262 r##"This is the function [`::rust_primitives::i32::bit_xor`]."##,
3263 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3264 ::core::option::Option::Some(root::rust_primitives::i32())
3265 );
3266 mk!(
3267 div,
3268 r##"This is the function [`::rust_primitives::i32::div`]."##,
3269 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3270 ::core::option::Option::Some(root::rust_primitives::i32())
3271 );
3272 mk!(
3273 eq,
3274 r##"This is the function [`::rust_primitives::i32::eq`]."##,
3275 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3276 ::core::option::Option::Some(root::rust_primitives::i32())
3277 );
3278 mk!(
3279 ge,
3280 r##"This is the function [`::rust_primitives::i32::ge`]."##,
3281 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3282 ::core::option::Option::Some(root::rust_primitives::i32())
3283 );
3284 mk!(
3285 gt,
3286 r##"This is the function [`::rust_primitives::i32::gt`]."##,
3287 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3288 ::core::option::Option::Some(root::rust_primitives::i32())
3289 );
3290 mk!(
3291 le,
3292 r##"This is the function [`::rust_primitives::i32::le`]."##,
3293 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3294 ::core::option::Option::Some(root::rust_primitives::i32())
3295 );
3296 mk!(
3297 lt,
3298 r##"This is the function [`::rust_primitives::i32::lt`]."##,
3299 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3300 ::core::option::Option::Some(root::rust_primitives::i32())
3301 );
3302 mk!(
3303 mul,
3304 r##"This is the function [`::rust_primitives::i32::mul`]."##,
3305 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3306 ::core::option::Option::Some(root::rust_primitives::i32())
3307 );
3308 mk!(
3309 ne,
3310 r##"This is the function [`::rust_primitives::i32::ne`]."##,
3311 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3312 ::core::option::Option::Some(root::rust_primitives::i32())
3313 );
3314 mk!(
3315 neg,
3316 r##"This is the function [`::rust_primitives::i32::neg`]."##,
3317 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3318 ::core::option::Option::Some(root::rust_primitives::i32())
3319 );
3320 mk!(
3321 rem,
3322 r##"This is the function [`::rust_primitives::i32::rem`]."##,
3323 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3324 ::core::option::Option::Some(root::rust_primitives::i32())
3325 );
3326 mk!(
3327 shl,
3328 r##"This is the function [`::rust_primitives::i32::shl`]."##,
3329 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3330 ::core::option::Option::Some(root::rust_primitives::i32())
3331 );
3332 mk!(
3333 shr,
3334 r##"This is the function [`::rust_primitives::i32::shr`]."##,
3335 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3336 ::core::option::Option::Some(root::rust_primitives::i32())
3337 );
3338 mk!(
3339 sub,
3340 r##"This is the function [`::rust_primitives::i32::sub`]."##,
3341 r##"["rust_primitives",[[{"TypeNs":"i32"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3342 ::core::option::Option::Some(root::rust_primitives::i32())
3343 );
3344 }
3345 pub mod i64 {
3346 #![doc = r##"This is the module [`::rust_primitives::i64`]."##]
3347 use super::root;
3348 mk!(
3349 add,
3350 r##"This is the function [`::rust_primitives::i64::add`]."##,
3351 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3352 ::core::option::Option::Some(root::rust_primitives::i64())
3353 );
3354 mk!(
3355 bit_and,
3356 r##"This is the function [`::rust_primitives::i64::bit_and`]."##,
3357 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3358 ::core::option::Option::Some(root::rust_primitives::i64())
3359 );
3360 mk!(
3361 bit_or,
3362 r##"This is the function [`::rust_primitives::i64::bit_or`]."##,
3363 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3364 ::core::option::Option::Some(root::rust_primitives::i64())
3365 );
3366 mk!(
3367 bit_xor,
3368 r##"This is the function [`::rust_primitives::i64::bit_xor`]."##,
3369 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3370 ::core::option::Option::Some(root::rust_primitives::i64())
3371 );
3372 mk!(
3373 div,
3374 r##"This is the function [`::rust_primitives::i64::div`]."##,
3375 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3376 ::core::option::Option::Some(root::rust_primitives::i64())
3377 );
3378 mk!(
3379 eq,
3380 r##"This is the function [`::rust_primitives::i64::eq`]."##,
3381 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3382 ::core::option::Option::Some(root::rust_primitives::i64())
3383 );
3384 mk!(
3385 ge,
3386 r##"This is the function [`::rust_primitives::i64::ge`]."##,
3387 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3388 ::core::option::Option::Some(root::rust_primitives::i64())
3389 );
3390 mk!(
3391 gt,
3392 r##"This is the function [`::rust_primitives::i64::gt`]."##,
3393 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3394 ::core::option::Option::Some(root::rust_primitives::i64())
3395 );
3396 mk!(
3397 le,
3398 r##"This is the function [`::rust_primitives::i64::le`]."##,
3399 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3400 ::core::option::Option::Some(root::rust_primitives::i64())
3401 );
3402 mk!(
3403 lt,
3404 r##"This is the function [`::rust_primitives::i64::lt`]."##,
3405 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3406 ::core::option::Option::Some(root::rust_primitives::i64())
3407 );
3408 mk!(
3409 mul,
3410 r##"This is the function [`::rust_primitives::i64::mul`]."##,
3411 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3412 ::core::option::Option::Some(root::rust_primitives::i64())
3413 );
3414 mk!(
3415 ne,
3416 r##"This is the function [`::rust_primitives::i64::ne`]."##,
3417 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3418 ::core::option::Option::Some(root::rust_primitives::i64())
3419 );
3420 mk!(
3421 neg,
3422 r##"This is the function [`::rust_primitives::i64::neg`]."##,
3423 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3424 ::core::option::Option::Some(root::rust_primitives::i64())
3425 );
3426 mk!(
3427 rem,
3428 r##"This is the function [`::rust_primitives::i64::rem`]."##,
3429 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3430 ::core::option::Option::Some(root::rust_primitives::i64())
3431 );
3432 mk!(
3433 shl,
3434 r##"This is the function [`::rust_primitives::i64::shl`]."##,
3435 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3436 ::core::option::Option::Some(root::rust_primitives::i64())
3437 );
3438 mk!(
3439 shr,
3440 r##"This is the function [`::rust_primitives::i64::shr`]."##,
3441 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3442 ::core::option::Option::Some(root::rust_primitives::i64())
3443 );
3444 mk!(
3445 sub,
3446 r##"This is the function [`::rust_primitives::i64::sub`]."##,
3447 r##"["rust_primitives",[[{"TypeNs":"i64"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3448 ::core::option::Option::Some(root::rust_primitives::i64())
3449 );
3450 }
3451 pub mod i8 {
3452 #![doc = r##"This is the module [`::rust_primitives::i8`]."##]
3453 use super::root;
3454 mk!(
3455 add,
3456 r##"This is the function [`::rust_primitives::i8::add`]."##,
3457 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3458 ::core::option::Option::Some(root::rust_primitives::i8())
3459 );
3460 mk!(
3461 bit_and,
3462 r##"This is the function [`::rust_primitives::i8::bit_and`]."##,
3463 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3464 ::core::option::Option::Some(root::rust_primitives::i8())
3465 );
3466 mk!(
3467 bit_or,
3468 r##"This is the function [`::rust_primitives::i8::bit_or`]."##,
3469 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3470 ::core::option::Option::Some(root::rust_primitives::i8())
3471 );
3472 mk!(
3473 bit_xor,
3474 r##"This is the function [`::rust_primitives::i8::bit_xor`]."##,
3475 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3476 ::core::option::Option::Some(root::rust_primitives::i8())
3477 );
3478 mk!(
3479 div,
3480 r##"This is the function [`::rust_primitives::i8::div`]."##,
3481 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3482 ::core::option::Option::Some(root::rust_primitives::i8())
3483 );
3484 mk!(
3485 eq,
3486 r##"This is the function [`::rust_primitives::i8::eq`]."##,
3487 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3488 ::core::option::Option::Some(root::rust_primitives::i8())
3489 );
3490 mk!(
3491 ge,
3492 r##"This is the function [`::rust_primitives::i8::ge`]."##,
3493 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3494 ::core::option::Option::Some(root::rust_primitives::i8())
3495 );
3496 mk!(
3497 gt,
3498 r##"This is the function [`::rust_primitives::i8::gt`]."##,
3499 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3500 ::core::option::Option::Some(root::rust_primitives::i8())
3501 );
3502 mk!(
3503 le,
3504 r##"This is the function [`::rust_primitives::i8::le`]."##,
3505 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3506 ::core::option::Option::Some(root::rust_primitives::i8())
3507 );
3508 mk!(
3509 lt,
3510 r##"This is the function [`::rust_primitives::i8::lt`]."##,
3511 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3512 ::core::option::Option::Some(root::rust_primitives::i8())
3513 );
3514 mk!(
3515 mul,
3516 r##"This is the function [`::rust_primitives::i8::mul`]."##,
3517 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3518 ::core::option::Option::Some(root::rust_primitives::i8())
3519 );
3520 mk!(
3521 ne,
3522 r##"This is the function [`::rust_primitives::i8::ne`]."##,
3523 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3524 ::core::option::Option::Some(root::rust_primitives::i8())
3525 );
3526 mk!(
3527 neg,
3528 r##"This is the function [`::rust_primitives::i8::neg`]."##,
3529 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3530 ::core::option::Option::Some(root::rust_primitives::i8())
3531 );
3532 mk!(
3533 rem,
3534 r##"This is the function [`::rust_primitives::i8::rem`]."##,
3535 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3536 ::core::option::Option::Some(root::rust_primitives::i8())
3537 );
3538 mk!(
3539 shl,
3540 r##"This is the function [`::rust_primitives::i8::shl`]."##,
3541 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3542 ::core::option::Option::Some(root::rust_primitives::i8())
3543 );
3544 mk!(
3545 shr,
3546 r##"This is the function [`::rust_primitives::i8::shr`]."##,
3547 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3548 ::core::option::Option::Some(root::rust_primitives::i8())
3549 );
3550 mk!(
3551 sub,
3552 r##"This is the function [`::rust_primitives::i8::sub`]."##,
3553 r##"["rust_primitives",[[{"TypeNs":"i8"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3554 ::core::option::Option::Some(root::rust_primitives::i8())
3555 );
3556 }
3557 pub mod isize {
3558 #![doc = r##"This is the module [`::rust_primitives::isize`]."##]
3559 use super::root;
3560 mk!(
3561 add,
3562 r##"This is the function [`::rust_primitives::isize::add`]."##,
3563 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3564 ::core::option::Option::Some(root::rust_primitives::isize())
3565 );
3566 mk!(
3567 bit_and,
3568 r##"This is the function [`::rust_primitives::isize::bit_and`]."##,
3569 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3570 ::core::option::Option::Some(root::rust_primitives::isize())
3571 );
3572 mk!(
3573 bit_or,
3574 r##"This is the function [`::rust_primitives::isize::bit_or`]."##,
3575 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3576 ::core::option::Option::Some(root::rust_primitives::isize())
3577 );
3578 mk!(
3579 bit_xor,
3580 r##"This is the function [`::rust_primitives::isize::bit_xor`]."##,
3581 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3582 ::core::option::Option::Some(root::rust_primitives::isize())
3583 );
3584 mk!(
3585 div,
3586 r##"This is the function [`::rust_primitives::isize::div`]."##,
3587 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3588 ::core::option::Option::Some(root::rust_primitives::isize())
3589 );
3590 mk!(
3591 eq,
3592 r##"This is the function [`::rust_primitives::isize::eq`]."##,
3593 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3594 ::core::option::Option::Some(root::rust_primitives::isize())
3595 );
3596 mk!(
3597 ge,
3598 r##"This is the function [`::rust_primitives::isize::ge`]."##,
3599 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3600 ::core::option::Option::Some(root::rust_primitives::isize())
3601 );
3602 mk!(
3603 gt,
3604 r##"This is the function [`::rust_primitives::isize::gt`]."##,
3605 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3606 ::core::option::Option::Some(root::rust_primitives::isize())
3607 );
3608 mk!(
3609 le,
3610 r##"This is the function [`::rust_primitives::isize::le`]."##,
3611 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3612 ::core::option::Option::Some(root::rust_primitives::isize())
3613 );
3614 mk!(
3615 lt,
3616 r##"This is the function [`::rust_primitives::isize::lt`]."##,
3617 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3618 ::core::option::Option::Some(root::rust_primitives::isize())
3619 );
3620 mk!(
3621 mul,
3622 r##"This is the function [`::rust_primitives::isize::mul`]."##,
3623 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3624 ::core::option::Option::Some(root::rust_primitives::isize())
3625 );
3626 mk!(
3627 ne,
3628 r##"This is the function [`::rust_primitives::isize::ne`]."##,
3629 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3630 ::core::option::Option::Some(root::rust_primitives::isize())
3631 );
3632 mk!(
3633 neg,
3634 r##"This is the function [`::rust_primitives::isize::neg`]."##,
3635 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3636 ::core::option::Option::Some(root::rust_primitives::isize())
3637 );
3638 mk!(
3639 rem,
3640 r##"This is the function [`::rust_primitives::isize::rem`]."##,
3641 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3642 ::core::option::Option::Some(root::rust_primitives::isize())
3643 );
3644 mk!(
3645 shl,
3646 r##"This is the function [`::rust_primitives::isize::shl`]."##,
3647 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3648 ::core::option::Option::Some(root::rust_primitives::isize())
3649 );
3650 mk!(
3651 shr,
3652 r##"This is the function [`::rust_primitives::isize::shr`]."##,
3653 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3654 ::core::option::Option::Some(root::rust_primitives::isize())
3655 );
3656 mk!(
3657 sub,
3658 r##"This is the function [`::rust_primitives::isize::sub`]."##,
3659 r##"["rust_primitives",[[{"TypeNs":"isize"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3660 ::core::option::Option::Some(root::rust_primitives::isize())
3661 );
3662 }
3663 pub mod u128 {
3664 #![doc = r##"This is the module [`::rust_primitives::u128`]."##]
3665 use super::root;
3666 mk!(
3667 add,
3668 r##"This is the function [`::rust_primitives::u128::add`]."##,
3669 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3670 ::core::option::Option::Some(root::rust_primitives::u128())
3671 );
3672 mk!(
3673 bit_and,
3674 r##"This is the function [`::rust_primitives::u128::bit_and`]."##,
3675 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3676 ::core::option::Option::Some(root::rust_primitives::u128())
3677 );
3678 mk!(
3679 bit_or,
3680 r##"This is the function [`::rust_primitives::u128::bit_or`]."##,
3681 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3682 ::core::option::Option::Some(root::rust_primitives::u128())
3683 );
3684 mk!(
3685 bit_xor,
3686 r##"This is the function [`::rust_primitives::u128::bit_xor`]."##,
3687 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3688 ::core::option::Option::Some(root::rust_primitives::u128())
3689 );
3690 mk!(
3691 div,
3692 r##"This is the function [`::rust_primitives::u128::div`]."##,
3693 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3694 ::core::option::Option::Some(root::rust_primitives::u128())
3695 );
3696 mk!(
3697 eq,
3698 r##"This is the function [`::rust_primitives::u128::eq`]."##,
3699 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3700 ::core::option::Option::Some(root::rust_primitives::u128())
3701 );
3702 mk!(
3703 ge,
3704 r##"This is the function [`::rust_primitives::u128::ge`]."##,
3705 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3706 ::core::option::Option::Some(root::rust_primitives::u128())
3707 );
3708 mk!(
3709 gt,
3710 r##"This is the function [`::rust_primitives::u128::gt`]."##,
3711 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3712 ::core::option::Option::Some(root::rust_primitives::u128())
3713 );
3714 mk!(
3715 le,
3716 r##"This is the function [`::rust_primitives::u128::le`]."##,
3717 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3718 ::core::option::Option::Some(root::rust_primitives::u128())
3719 );
3720 mk!(
3721 lt,
3722 r##"This is the function [`::rust_primitives::u128::lt`]."##,
3723 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3724 ::core::option::Option::Some(root::rust_primitives::u128())
3725 );
3726 mk!(
3727 mul,
3728 r##"This is the function [`::rust_primitives::u128::mul`]."##,
3729 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3730 ::core::option::Option::Some(root::rust_primitives::u128())
3731 );
3732 mk!(
3733 ne,
3734 r##"This is the function [`::rust_primitives::u128::ne`]."##,
3735 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3736 ::core::option::Option::Some(root::rust_primitives::u128())
3737 );
3738 mk!(
3739 neg,
3740 r##"This is the function [`::rust_primitives::u128::neg`]."##,
3741 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3742 ::core::option::Option::Some(root::rust_primitives::u128())
3743 );
3744 mk!(
3745 rem,
3746 r##"This is the function [`::rust_primitives::u128::rem`]."##,
3747 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3748 ::core::option::Option::Some(root::rust_primitives::u128())
3749 );
3750 mk!(
3751 shl,
3752 r##"This is the function [`::rust_primitives::u128::shl`]."##,
3753 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3754 ::core::option::Option::Some(root::rust_primitives::u128())
3755 );
3756 mk!(
3757 shr,
3758 r##"This is the function [`::rust_primitives::u128::shr`]."##,
3759 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3760 ::core::option::Option::Some(root::rust_primitives::u128())
3761 );
3762 mk!(
3763 sub,
3764 r##"This is the function [`::rust_primitives::u128::sub`]."##,
3765 r##"["rust_primitives",[[{"TypeNs":"u128"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3766 ::core::option::Option::Some(root::rust_primitives::u128())
3767 );
3768 }
3769 pub mod u16 {
3770 #![doc = r##"This is the module [`::rust_primitives::u16`]."##]
3771 use super::root;
3772 mk!(
3773 add,
3774 r##"This is the function [`::rust_primitives::u16::add`]."##,
3775 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3776 ::core::option::Option::Some(root::rust_primitives::u16())
3777 );
3778 mk!(
3779 bit_and,
3780 r##"This is the function [`::rust_primitives::u16::bit_and`]."##,
3781 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3782 ::core::option::Option::Some(root::rust_primitives::u16())
3783 );
3784 mk!(
3785 bit_or,
3786 r##"This is the function [`::rust_primitives::u16::bit_or`]."##,
3787 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3788 ::core::option::Option::Some(root::rust_primitives::u16())
3789 );
3790 mk!(
3791 bit_xor,
3792 r##"This is the function [`::rust_primitives::u16::bit_xor`]."##,
3793 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3794 ::core::option::Option::Some(root::rust_primitives::u16())
3795 );
3796 mk!(
3797 div,
3798 r##"This is the function [`::rust_primitives::u16::div`]."##,
3799 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3800 ::core::option::Option::Some(root::rust_primitives::u16())
3801 );
3802 mk!(
3803 eq,
3804 r##"This is the function [`::rust_primitives::u16::eq`]."##,
3805 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3806 ::core::option::Option::Some(root::rust_primitives::u16())
3807 );
3808 mk!(
3809 ge,
3810 r##"This is the function [`::rust_primitives::u16::ge`]."##,
3811 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3812 ::core::option::Option::Some(root::rust_primitives::u16())
3813 );
3814 mk!(
3815 gt,
3816 r##"This is the function [`::rust_primitives::u16::gt`]."##,
3817 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3818 ::core::option::Option::Some(root::rust_primitives::u16())
3819 );
3820 mk!(
3821 le,
3822 r##"This is the function [`::rust_primitives::u16::le`]."##,
3823 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3824 ::core::option::Option::Some(root::rust_primitives::u16())
3825 );
3826 mk!(
3827 lt,
3828 r##"This is the function [`::rust_primitives::u16::lt`]."##,
3829 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3830 ::core::option::Option::Some(root::rust_primitives::u16())
3831 );
3832 mk!(
3833 mul,
3834 r##"This is the function [`::rust_primitives::u16::mul`]."##,
3835 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3836 ::core::option::Option::Some(root::rust_primitives::u16())
3837 );
3838 mk!(
3839 ne,
3840 r##"This is the function [`::rust_primitives::u16::ne`]."##,
3841 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3842 ::core::option::Option::Some(root::rust_primitives::u16())
3843 );
3844 mk!(
3845 neg,
3846 r##"This is the function [`::rust_primitives::u16::neg`]."##,
3847 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3848 ::core::option::Option::Some(root::rust_primitives::u16())
3849 );
3850 mk!(
3851 rem,
3852 r##"This is the function [`::rust_primitives::u16::rem`]."##,
3853 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3854 ::core::option::Option::Some(root::rust_primitives::u16())
3855 );
3856 mk!(
3857 shl,
3858 r##"This is the function [`::rust_primitives::u16::shl`]."##,
3859 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3860 ::core::option::Option::Some(root::rust_primitives::u16())
3861 );
3862 mk!(
3863 shr,
3864 r##"This is the function [`::rust_primitives::u16::shr`]."##,
3865 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3866 ::core::option::Option::Some(root::rust_primitives::u16())
3867 );
3868 mk!(
3869 sub,
3870 r##"This is the function [`::rust_primitives::u16::sub`]."##,
3871 r##"["rust_primitives",[[{"TypeNs":"u16"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3872 ::core::option::Option::Some(root::rust_primitives::u16())
3873 );
3874 }
3875 pub mod u32 {
3876 #![doc = r##"This is the module [`::rust_primitives::u32`]."##]
3877 use super::root;
3878 mk!(
3879 add,
3880 r##"This is the function [`::rust_primitives::u32::add`]."##,
3881 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3882 ::core::option::Option::Some(root::rust_primitives::u32())
3883 );
3884 mk!(
3885 bit_and,
3886 r##"This is the function [`::rust_primitives::u32::bit_and`]."##,
3887 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3888 ::core::option::Option::Some(root::rust_primitives::u32())
3889 );
3890 mk!(
3891 bit_or,
3892 r##"This is the function [`::rust_primitives::u32::bit_or`]."##,
3893 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
3894 ::core::option::Option::Some(root::rust_primitives::u32())
3895 );
3896 mk!(
3897 bit_xor,
3898 r##"This is the function [`::rust_primitives::u32::bit_xor`]."##,
3899 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
3900 ::core::option::Option::Some(root::rust_primitives::u32())
3901 );
3902 mk!(
3903 div,
3904 r##"This is the function [`::rust_primitives::u32::div`]."##,
3905 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
3906 ::core::option::Option::Some(root::rust_primitives::u32())
3907 );
3908 mk!(
3909 eq,
3910 r##"This is the function [`::rust_primitives::u32::eq`]."##,
3911 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
3912 ::core::option::Option::Some(root::rust_primitives::u32())
3913 );
3914 mk!(
3915 ge,
3916 r##"This is the function [`::rust_primitives::u32::ge`]."##,
3917 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
3918 ::core::option::Option::Some(root::rust_primitives::u32())
3919 );
3920 mk!(
3921 gt,
3922 r##"This is the function [`::rust_primitives::u32::gt`]."##,
3923 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
3924 ::core::option::Option::Some(root::rust_primitives::u32())
3925 );
3926 mk!(
3927 le,
3928 r##"This is the function [`::rust_primitives::u32::le`]."##,
3929 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
3930 ::core::option::Option::Some(root::rust_primitives::u32())
3931 );
3932 mk!(
3933 lt,
3934 r##"This is the function [`::rust_primitives::u32::lt`]."##,
3935 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
3936 ::core::option::Option::Some(root::rust_primitives::u32())
3937 );
3938 mk!(
3939 mul,
3940 r##"This is the function [`::rust_primitives::u32::mul`]."##,
3941 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
3942 ::core::option::Option::Some(root::rust_primitives::u32())
3943 );
3944 mk!(
3945 ne,
3946 r##"This is the function [`::rust_primitives::u32::ne`]."##,
3947 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
3948 ::core::option::Option::Some(root::rust_primitives::u32())
3949 );
3950 mk!(
3951 neg,
3952 r##"This is the function [`::rust_primitives::u32::neg`]."##,
3953 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
3954 ::core::option::Option::Some(root::rust_primitives::u32())
3955 );
3956 mk!(
3957 rem,
3958 r##"This is the function [`::rust_primitives::u32::rem`]."##,
3959 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
3960 ::core::option::Option::Some(root::rust_primitives::u32())
3961 );
3962 mk!(
3963 shl,
3964 r##"This is the function [`::rust_primitives::u32::shl`]."##,
3965 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
3966 ::core::option::Option::Some(root::rust_primitives::u32())
3967 );
3968 mk!(
3969 shr,
3970 r##"This is the function [`::rust_primitives::u32::shr`]."##,
3971 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
3972 ::core::option::Option::Some(root::rust_primitives::u32())
3973 );
3974 mk!(
3975 sub,
3976 r##"This is the function [`::rust_primitives::u32::sub`]."##,
3977 r##"["rust_primitives",[[{"TypeNs":"u32"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
3978 ::core::option::Option::Some(root::rust_primitives::u32())
3979 );
3980 }
3981 pub mod u64 {
3982 #![doc = r##"This is the module [`::rust_primitives::u64`]."##]
3983 use super::root;
3984 mk!(
3985 add,
3986 r##"This is the function [`::rust_primitives::u64::add`]."##,
3987 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
3988 ::core::option::Option::Some(root::rust_primitives::u64())
3989 );
3990 mk!(
3991 bit_and,
3992 r##"This is the function [`::rust_primitives::u64::bit_and`]."##,
3993 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
3994 ::core::option::Option::Some(root::rust_primitives::u64())
3995 );
3996 mk!(
3997 bit_or,
3998 r##"This is the function [`::rust_primitives::u64::bit_or`]."##,
3999 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
4000 ::core::option::Option::Some(root::rust_primitives::u64())
4001 );
4002 mk!(
4003 bit_xor,
4004 r##"This is the function [`::rust_primitives::u64::bit_xor`]."##,
4005 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
4006 ::core::option::Option::Some(root::rust_primitives::u64())
4007 );
4008 mk!(
4009 div,
4010 r##"This is the function [`::rust_primitives::u64::div`]."##,
4011 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
4012 ::core::option::Option::Some(root::rust_primitives::u64())
4013 );
4014 mk!(
4015 eq,
4016 r##"This is the function [`::rust_primitives::u64::eq`]."##,
4017 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
4018 ::core::option::Option::Some(root::rust_primitives::u64())
4019 );
4020 mk!(
4021 ge,
4022 r##"This is the function [`::rust_primitives::u64::ge`]."##,
4023 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
4024 ::core::option::Option::Some(root::rust_primitives::u64())
4025 );
4026 mk!(
4027 gt,
4028 r##"This is the function [`::rust_primitives::u64::gt`]."##,
4029 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
4030 ::core::option::Option::Some(root::rust_primitives::u64())
4031 );
4032 mk!(
4033 le,
4034 r##"This is the function [`::rust_primitives::u64::le`]."##,
4035 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
4036 ::core::option::Option::Some(root::rust_primitives::u64())
4037 );
4038 mk!(
4039 lt,
4040 r##"This is the function [`::rust_primitives::u64::lt`]."##,
4041 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
4042 ::core::option::Option::Some(root::rust_primitives::u64())
4043 );
4044 mk!(
4045 mul,
4046 r##"This is the function [`::rust_primitives::u64::mul`]."##,
4047 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
4048 ::core::option::Option::Some(root::rust_primitives::u64())
4049 );
4050 mk!(
4051 ne,
4052 r##"This is the function [`::rust_primitives::u64::ne`]."##,
4053 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
4054 ::core::option::Option::Some(root::rust_primitives::u64())
4055 );
4056 mk!(
4057 neg,
4058 r##"This is the function [`::rust_primitives::u64::neg`]."##,
4059 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
4060 ::core::option::Option::Some(root::rust_primitives::u64())
4061 );
4062 mk!(
4063 rem,
4064 r##"This is the function [`::rust_primitives::u64::rem`]."##,
4065 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
4066 ::core::option::Option::Some(root::rust_primitives::u64())
4067 );
4068 mk!(
4069 shl,
4070 r##"This is the function [`::rust_primitives::u64::shl`]."##,
4071 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
4072 ::core::option::Option::Some(root::rust_primitives::u64())
4073 );
4074 mk!(
4075 shr,
4076 r##"This is the function [`::rust_primitives::u64::shr`]."##,
4077 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
4078 ::core::option::Option::Some(root::rust_primitives::u64())
4079 );
4080 mk!(
4081 sub,
4082 r##"This is the function [`::rust_primitives::u64::sub`]."##,
4083 r##"["rust_primitives",[[{"TypeNs":"u64"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
4084 ::core::option::Option::Some(root::rust_primitives::u64())
4085 );
4086 }
4087 pub mod u8 {
4088 #![doc = r##"This is the module [`::rust_primitives::u8`]."##]
4089 use super::root;
4090 mk!(
4091 add,
4092 r##"This is the function [`::rust_primitives::u8::add`]."##,
4093 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
4094 ::core::option::Option::Some(root::rust_primitives::u8())
4095 );
4096 mk!(
4097 bit_and,
4098 r##"This is the function [`::rust_primitives::u8::bit_and`]."##,
4099 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
4100 ::core::option::Option::Some(root::rust_primitives::u8())
4101 );
4102 mk!(
4103 bit_or,
4104 r##"This is the function [`::rust_primitives::u8::bit_or`]."##,
4105 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
4106 ::core::option::Option::Some(root::rust_primitives::u8())
4107 );
4108 mk!(
4109 bit_xor,
4110 r##"This is the function [`::rust_primitives::u8::bit_xor`]."##,
4111 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
4112 ::core::option::Option::Some(root::rust_primitives::u8())
4113 );
4114 mk!(
4115 div,
4116 r##"This is the function [`::rust_primitives::u8::div`]."##,
4117 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
4118 ::core::option::Option::Some(root::rust_primitives::u8())
4119 );
4120 mk!(
4121 eq,
4122 r##"This is the function [`::rust_primitives::u8::eq`]."##,
4123 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
4124 ::core::option::Option::Some(root::rust_primitives::u8())
4125 );
4126 mk!(
4127 ge,
4128 r##"This is the function [`::rust_primitives::u8::ge`]."##,
4129 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
4130 ::core::option::Option::Some(root::rust_primitives::u8())
4131 );
4132 mk!(
4133 gt,
4134 r##"This is the function [`::rust_primitives::u8::gt`]."##,
4135 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
4136 ::core::option::Option::Some(root::rust_primitives::u8())
4137 );
4138 mk!(
4139 le,
4140 r##"This is the function [`::rust_primitives::u8::le`]."##,
4141 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
4142 ::core::option::Option::Some(root::rust_primitives::u8())
4143 );
4144 mk!(
4145 lt,
4146 r##"This is the function [`::rust_primitives::u8::lt`]."##,
4147 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
4148 ::core::option::Option::Some(root::rust_primitives::u8())
4149 );
4150 mk!(
4151 mul,
4152 r##"This is the function [`::rust_primitives::u8::mul`]."##,
4153 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
4154 ::core::option::Option::Some(root::rust_primitives::u8())
4155 );
4156 mk!(
4157 ne,
4158 r##"This is the function [`::rust_primitives::u8::ne`]."##,
4159 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
4160 ::core::option::Option::Some(root::rust_primitives::u8())
4161 );
4162 mk!(
4163 neg,
4164 r##"This is the function [`::rust_primitives::u8::neg`]."##,
4165 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
4166 ::core::option::Option::Some(root::rust_primitives::u8())
4167 );
4168 mk!(
4169 rem,
4170 r##"This is the function [`::rust_primitives::u8::rem`]."##,
4171 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
4172 ::core::option::Option::Some(root::rust_primitives::u8())
4173 );
4174 mk!(
4175 shl,
4176 r##"This is the function [`::rust_primitives::u8::shl`]."##,
4177 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
4178 ::core::option::Option::Some(root::rust_primitives::u8())
4179 );
4180 mk!(
4181 shr,
4182 r##"This is the function [`::rust_primitives::u8::shr`]."##,
4183 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
4184 ::core::option::Option::Some(root::rust_primitives::u8())
4185 );
4186 mk!(
4187 sub,
4188 r##"This is the function [`::rust_primitives::u8::sub`]."##,
4189 r##"["rust_primitives",[[{"TypeNs":"u8"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
4190 ::core::option::Option::Some(root::rust_primitives::u8())
4191 );
4192 }
4193 pub mod usize {
4194 #![doc = r##"This is the module [`::rust_primitives::usize`]."##]
4195 use super::root;
4196 mk!(
4197 add,
4198 r##"This is the function [`::rust_primitives::usize::add`]."##,
4199 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"add"},0]],"Fn"]"##,
4200 ::core::option::Option::Some(root::rust_primitives::usize())
4201 );
4202 mk!(
4203 bit_and,
4204 r##"This is the function [`::rust_primitives::usize::bit_and`]."##,
4205 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"bit_and"},0]],"Fn"]"##,
4206 ::core::option::Option::Some(root::rust_primitives::usize())
4207 );
4208 mk!(
4209 bit_or,
4210 r##"This is the function [`::rust_primitives::usize::bit_or`]."##,
4211 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"bit_or"},0]],"Fn"]"##,
4212 ::core::option::Option::Some(root::rust_primitives::usize())
4213 );
4214 mk!(
4215 bit_xor,
4216 r##"This is the function [`::rust_primitives::usize::bit_xor`]."##,
4217 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"bit_xor"},0]],"Fn"]"##,
4218 ::core::option::Option::Some(root::rust_primitives::usize())
4219 );
4220 mk!(
4221 div,
4222 r##"This is the function [`::rust_primitives::usize::div`]."##,
4223 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"div"},0]],"Fn"]"##,
4224 ::core::option::Option::Some(root::rust_primitives::usize())
4225 );
4226 mk!(
4227 eq,
4228 r##"This is the function [`::rust_primitives::usize::eq`]."##,
4229 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"eq"},0]],"Fn"]"##,
4230 ::core::option::Option::Some(root::rust_primitives::usize())
4231 );
4232 mk!(
4233 ge,
4234 r##"This is the function [`::rust_primitives::usize::ge`]."##,
4235 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"ge"},0]],"Fn"]"##,
4236 ::core::option::Option::Some(root::rust_primitives::usize())
4237 );
4238 mk!(
4239 gt,
4240 r##"This is the function [`::rust_primitives::usize::gt`]."##,
4241 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"gt"},0]],"Fn"]"##,
4242 ::core::option::Option::Some(root::rust_primitives::usize())
4243 );
4244 mk!(
4245 le,
4246 r##"This is the function [`::rust_primitives::usize::le`]."##,
4247 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"le"},0]],"Fn"]"##,
4248 ::core::option::Option::Some(root::rust_primitives::usize())
4249 );
4250 mk!(
4251 lt,
4252 r##"This is the function [`::rust_primitives::usize::lt`]."##,
4253 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"lt"},0]],"Fn"]"##,
4254 ::core::option::Option::Some(root::rust_primitives::usize())
4255 );
4256 mk!(
4257 mul,
4258 r##"This is the function [`::rust_primitives::usize::mul`]."##,
4259 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"mul"},0]],"Fn"]"##,
4260 ::core::option::Option::Some(root::rust_primitives::usize())
4261 );
4262 mk!(
4263 ne,
4264 r##"This is the function [`::rust_primitives::usize::ne`]."##,
4265 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"ne"},0]],"Fn"]"##,
4266 ::core::option::Option::Some(root::rust_primitives::usize())
4267 );
4268 mk!(
4269 neg,
4270 r##"This is the function [`::rust_primitives::usize::neg`]."##,
4271 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"neg"},0]],"Fn"]"##,
4272 ::core::option::Option::Some(root::rust_primitives::usize())
4273 );
4274 mk!(
4275 rem,
4276 r##"This is the function [`::rust_primitives::usize::rem`]."##,
4277 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"rem"},0]],"Fn"]"##,
4278 ::core::option::Option::Some(root::rust_primitives::usize())
4279 );
4280 mk!(
4281 shl,
4282 r##"This is the function [`::rust_primitives::usize::shl`]."##,
4283 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"shl"},0]],"Fn"]"##,
4284 ::core::option::Option::Some(root::rust_primitives::usize())
4285 );
4286 mk!(
4287 shr,
4288 r##"This is the function [`::rust_primitives::usize::shr`]."##,
4289 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"shr"},0]],"Fn"]"##,
4290 ::core::option::Option::Some(root::rust_primitives::usize())
4291 );
4292 mk!(
4293 sub,
4294 r##"This is the function [`::rust_primitives::usize::sub`]."##,
4295 r##"["rust_primitives",[[{"TypeNs":"usize"},0],[{"ValueNs":"sub"},0]],"Fn"]"##,
4296 ::core::option::Option::Some(root::rust_primitives::usize())
4297 );
4298 }
4299 mk!(
4300 Use,
4301 r##"This is the use item [`::rust_primitives::Use`]."##,
4302 r##"["rust_primitives",[["Use",0]],"Use"]"##,
4303 ::core::option::Option::Some(root::rust_primitives())
4304 );
4305 mk!(
4306 alloc,
4307 r##"This is the extern crate [`::rust_primitives::alloc`]."##,
4308 r##"["rust_primitives",[[{"TypeNs":"alloc"},0]],"ExternCrate"]"##,
4309 ::core::option::Option::Some(root::rust_primitives())
4310 );
4311 mk!(
4312 crypto_abstractions,
4313 r##"This is the module [`::rust_primitives::crypto_abstractions`]."##,
4314 r##"["rust_primitives",[[{"TypeNs":"crypto_abstractions"},0]],"Mod"]"##,
4315 ::core::option::Option::Some(root::rust_primitives())
4316 );
4317 mk!(
4318 dummy_hax_concrete_ident_wrapper,
4319 r##"This is the function [`::rust_primitives::dummy_hax_concrete_ident_wrapper`]."##,
4320 r##"["rust_primitives",[[{"ValueNs":"dummy_hax_concrete_ident_wrapper"},0]],"Fn"]"##,
4321 ::core::option::Option::Some(root::rust_primitives())
4322 );
4323 mk!(
4324 hax,
4325 r##"This is the module [`::rust_primitives::hax`]."##,
4326 r##"["rust_primitives",[[{"TypeNs":"hax"},0]],"Mod"]"##,
4327 ::core::option::Option::Some(root::rust_primitives())
4328 );
4329 mk!(
4330 i128,
4331 r##"This is the module [`::rust_primitives::i128`]."##,
4332 r##"["rust_primitives",[[{"TypeNs":"i128"},0]],"Mod"]"##,
4333 ::core::option::Option::Some(root::rust_primitives())
4334 );
4335 mk!(
4336 i16,
4337 r##"This is the module [`::rust_primitives::i16`]."##,
4338 r##"["rust_primitives",[[{"TypeNs":"i16"},0]],"Mod"]"##,
4339 ::core::option::Option::Some(root::rust_primitives())
4340 );
4341 mk!(
4342 i32,
4343 r##"This is the module [`::rust_primitives::i32`]."##,
4344 r##"["rust_primitives",[[{"TypeNs":"i32"},0]],"Mod"]"##,
4345 ::core::option::Option::Some(root::rust_primitives())
4346 );
4347 mk!(
4348 i64,
4349 r##"This is the module [`::rust_primitives::i64`]."##,
4350 r##"["rust_primitives",[[{"TypeNs":"i64"},0]],"Mod"]"##,
4351 ::core::option::Option::Some(root::rust_primitives())
4352 );
4353 mk!(
4354 i8,
4355 r##"This is the module [`::rust_primitives::i8`]."##,
4356 r##"["rust_primitives",[[{"TypeNs":"i8"},0]],"Mod"]"##,
4357 ::core::option::Option::Some(root::rust_primitives())
4358 );
4359 mk!(
4360 impl_arith,
4361 r##"This is the macro [`::rust_primitives::impl_arith`]."##,
4362 r##"["rust_primitives",[[{"MacroNs":"impl_arith"},0]],{"Macro":"Bang"}]"##,
4363 ::core::option::Option::Some(root::rust_primitives())
4364 );
4365 mk!(
4366 isize,
4367 r##"This is the module [`::rust_primitives::isize`]."##,
4368 r##"["rust_primitives",[[{"TypeNs":"isize"},0]],"Mod"]"##,
4369 ::core::option::Option::Some(root::rust_primitives())
4370 );
4371 mk!(
4372 offset,
4373 r##"This is the function [`::rust_primitives::offset`]."##,
4374 r##"["rust_primitives",[[{"ValueNs":"offset"},0]],"Fn"]"##,
4375 ::core::option::Option::Some(root::rust_primitives())
4376 );
4377 mk!(
4378 std,
4379 r##"This is the extern crate [`::rust_primitives::std`]."##,
4380 r##"["rust_primitives",[[{"TypeNs":"std"},0]],"ExternCrate"]"##,
4381 ::core::option::Option::Some(root::rust_primitives())
4382 );
4383 mk!(
4384 u128,
4385 r##"This is the module [`::rust_primitives::u128`]."##,
4386 r##"["rust_primitives",[[{"TypeNs":"u128"},0]],"Mod"]"##,
4387 ::core::option::Option::Some(root::rust_primitives())
4388 );
4389 mk!(
4390 u16,
4391 r##"This is the module [`::rust_primitives::u16`]."##,
4392 r##"["rust_primitives",[[{"TypeNs":"u16"},0]],"Mod"]"##,
4393 ::core::option::Option::Some(root::rust_primitives())
4394 );
4395 mk!(
4396 u32,
4397 r##"This is the module [`::rust_primitives::u32`]."##,
4398 r##"["rust_primitives",[[{"TypeNs":"u32"},0]],"Mod"]"##,
4399 ::core::option::Option::Some(root::rust_primitives())
4400 );
4401 mk!(
4402 u64,
4403 r##"This is the module [`::rust_primitives::u64`]."##,
4404 r##"["rust_primitives",[[{"TypeNs":"u64"},0]],"Mod"]"##,
4405 ::core::option::Option::Some(root::rust_primitives())
4406 );
4407 mk!(
4408 u8,
4409 r##"This is the module [`::rust_primitives::u8`]."##,
4410 r##"["rust_primitives",[[{"TypeNs":"u8"},0]],"Mod"]"##,
4411 ::core::option::Option::Some(root::rust_primitives())
4412 );
4413 mk!(
4414 unsize,
4415 r##"This is the function [`::rust_primitives::unsize`]."##,
4416 r##"["rust_primitives",[[{"ValueNs":"unsize"},0]],"Fn"]"##,
4417 ::core::option::Option::Some(root::rust_primitives())
4418 );
4419 mk!(
4420 usize,
4421 r##"This is the module [`::rust_primitives::usize`]."##,
4422 r##"["rust_primitives",[[{"TypeNs":"usize"},0]],"Mod"]"##,
4423 ::core::option::Option::Some(root::rust_primitives())
4424 );
4425}
4426mk!(
4427 alloc,
4428 r##"This is the module [`::alloc`]."##,
4429 r##"["alloc",[],"Mod"]"##,
4430 ::core::option::Option::None
4431);
4432mk!(
4433 core,
4434 r##"This is the module [`::core`]."##,
4435 r##"["core",[],"Mod"]"##,
4436 ::core::option::Option::None
4437);
4438mk!(
4439 hax_lib,
4440 r##"This is the module [`::hax_lib`]."##,
4441 r##"["hax_lib",[],"Mod"]"##,
4442 ::core::option::Option::None
4443);
4444mk!(
4445 hax_lib_protocol,
4446 r##"This is the module [`::hax_lib_protocol`]."##,
4447 r##"["hax_lib_protocol",[],"Mod"]"##,
4448 ::core::option::Option::None
4449);
4450mk!(
4451 rust_primitives,
4452 r##"This is the module [`::rust_primitives`]."##,
4453 r##"["rust_primitives",[],"Mod"]"##,
4454 ::core::option::Option::None
4455);