cborrs/
cbordetver.rs

1#![allow(non_snake_case)]
2#![allow(non_upper_case_globals)]
3#![allow(non_camel_case_types)]
4#![allow(unused_assignments)]
5#![allow(unreachable_patterns)]
6
7pub type cbordet <'a> = crate::cbordetveraux::cbor_raw <'a>;
8
9pub fn cbor_det_reset_perm <'a>(x1: crate::cbordetveraux::cbor_raw <'a>) ->
10    crate::cbordetveraux::cbor_raw
11    <'a>
12{
13    let res: crate::cbordetveraux::cbor_raw = crate::cbordetveraux::cbor_raw_reset_perm_tot(x1);
14    res
15}
16
17#[derive(PartialEq, Clone, Copy)]
18pub enum option__·CBOR_Pulse_Raw_Type_cbor_raw···Pulse_Lib_Slice_slice·uint8_t· <'a>
19{
20    None,
21    Some { v: (crate::cbordetveraux::cbor_raw <'a>, &'a [u8]) }
22}
23
24pub fn cbor_det_parse <'a>(input: &'a [u8]) ->
25    option__·CBOR_Pulse_Raw_Type_cbor_raw···Pulse_Lib_Slice_slice·uint8_t·
26    <'a>
27{
28    let len: usize = crate::cbordetveraux::cbor_validate_det(input);
29    if len == 0usize
30    { option__·CBOR_Pulse_Raw_Type_cbor_raw···Pulse_Lib_Slice_slice·uint8_t·::None }
31    else
32    {
33        let s·: (&[u8], &[u8]) = input.split_at(len);
34        let _letpattern: (&[u8], &[u8]) =
35            {
36                let s1: &[u8] = s·.0;
37                let s2: &[u8] = s·.1;
38                (s1,s2)
39            };
40        let input2: &[u8] = _letpattern.0;
41        let rem: &[u8] = _letpattern.1;
42        let len1: usize = input2.len();
43        let res: crate::cbordetveraux::cbor_raw = crate::cbordetveraux::cbor_parse(input2, len1);
44        option__·CBOR_Pulse_Raw_Type_cbor_raw···Pulse_Lib_Slice_slice·uint8_t·::Some
45        { v: (res,rem) }
46    }
47}
48
49#[derive(PartialEq, Clone, Copy)]
50pub enum option__size_t
51{
52    None,
53    Some { v: usize }
54}
55
56pub fn cbor_det_size(x: crate::cbordetveraux::cbor_raw, bound: usize) -> option__size_t
57{
58    let size: usize = crate::cbordetveraux::cbor_size(x, bound);
59    if size == 0usize { option__size_t::None } else { option__size_t::Some { v: size } }
60}
61
62pub fn cbor_det_serialize(x: crate::cbordetveraux::cbor_raw, output: &mut [u8]) ->
63    option__size_t
64{
65    let len: usize = crate::cbordetveraux::cbor_size(x, output.len());
66    if len > 0usize
67    {
68        let _letpattern: (&mut [u8], &mut [u8]) = output.split_at_mut(len);
69        let out: &mut [u8] = _letpattern.0;
70        let _rem: &[u8] = _letpattern.1;
71        let len·: usize = crate::cbordetveraux::cbor_serialize(x, out);
72        option__size_t::Some { v: len· }
73    }
74    else
75    { option__size_t::None }
76}
77
78#[derive(PartialEq, Clone, Copy)]
79pub enum option__CBOR_Pulse_Raw_Type_cbor_raw <'a>
80{
81    None,
82    Some { v: crate::cbordetveraux::cbor_raw <'a> }
83}
84
85pub fn cbor_det_mk_simple_value <'a>(v: u8) -> option__CBOR_Pulse_Raw_Type_cbor_raw <'a>
86{
87    if
88    v <= crate::cbordetveraux::max_simple_value_additional_info
89    ||
90    crate::cbordetveraux::min_simple_value_long_argument <= v
91    {
92        let res: crate::cbordetveraux::cbor_raw =
93            crate::cbordetveraux::cbor_raw::CBOR_Case_Simple { v };
94        option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: res }
95    }
96    else
97    { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
98}
99
100#[derive(PartialEq, Clone, Copy)]
101pub enum cbor_det_int_kind
102{
103    UInt64,
104    NegInt64
105}
106
107pub fn cbor_det_mk_int64 <'a>(ty: cbor_det_int_kind, v: u64) ->
108    crate::cbordetveraux::cbor_raw
109    <'a>
110{
111    let ite: u8 =
112        if ty == cbor_det_int_kind::UInt64
113        { crate::cbordetveraux::cbor_major_type_uint64 }
114        else
115        { crate::cbordetveraux::cbor_major_type_neg_int64 };
116    let resi: crate::cbordetveraux::cbor_int =
117        crate::cbordetveraux::cbor_int
118        {
119            cbor_int_type: ite,
120            cbor_int_size: (crate::cbordetveraux::mk_raw_uint64(v)).size,
121            cbor_int_value: (crate::cbordetveraux::mk_raw_uint64(v)).value
122        };
123    crate::cbordetveraux::cbor_raw::CBOR_Case_Int { v: resi }
124}
125
126#[derive(PartialEq, Clone, Copy)]
127pub enum cbor_det_string_kind
128{
129    ByteString,
130    TextString
131}
132
133pub fn cbor_impl_utf8_correct(s: &[u8]) -> bool { crate::cbordetveraux::impl_correct(s) }
134
135pub fn cbor_det_mk_string <'a>(ty: cbor_det_string_kind, s: &'a [u8]) ->
136    option__CBOR_Pulse_Raw_Type_cbor_raw
137    <'a>
138{
139    if s.len() > 18446744073709551615u64 as usize
140    { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
141    else
142    {
143        let correct: bool =
144            if ty == cbor_det_string_kind::TextString { cbor_impl_utf8_correct(s) } else { true };
145        if correct
146        {
147            let len64: crate::cbordetveraux::raw_uint64 =
148                crate::cbordetveraux::mk_raw_uint64(s.len() as u64);
149            let ite: u8 =
150                if ty == cbor_det_string_kind::ByteString
151                { crate::cbordetveraux::cbor_major_type_byte_string }
152                else
153                { crate::cbordetveraux::cbor_major_type_text_string };
154            let ress: crate::cbordetveraux::cbor_string =
155                crate::cbordetveraux::cbor_string
156                { cbor_string_type: ite, cbor_string_size: len64.size, cbor_string_ptr: s };
157            let res: crate::cbordetveraux::cbor_raw =
158                crate::cbordetveraux::cbor_raw::CBOR_Case_String { v: ress };
159            option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: res }
160        }
161        else
162        { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
163    }
164}
165
166pub fn cbor_det_mk_tagged <'a>(tag: u64, r: &'a [crate::cbordetveraux::cbor_raw <'a>]) ->
167    crate::cbordetveraux::cbor_raw
168    <'a>
169{
170    let tag64: crate::cbordetveraux::raw_uint64 = crate::cbordetveraux::mk_raw_uint64(tag);
171    let res·: crate::cbordetveraux::cbor_tagged =
172        crate::cbordetveraux::cbor_tagged { cbor_tagged_tag: tag64, cbor_tagged_ptr: r };
173    crate::cbordetveraux::cbor_raw::CBOR_Case_Tagged { v: res· }
174}
175
176pub type cbor_det_map_entry <'a> = crate::cbordetveraux::cbor_map_entry <'a>;
177
178pub fn cbor_det_mk_map_entry <'a>(
179    xk: crate::cbordetveraux::cbor_raw <'a>,
180    xv: crate::cbordetveraux::cbor_raw <'a>
181) ->
182    crate::cbordetveraux::cbor_map_entry
183    <'a>
184{
185    let res: crate::cbordetveraux::cbor_map_entry =
186        crate::cbordetveraux::cbor_mk_map_entry(xk, xv);
187    res
188}
189
190pub fn cbor_det_mk_array <'a>(a: &'a [crate::cbordetveraux::cbor_raw <'a>]) ->
191    option__CBOR_Pulse_Raw_Type_cbor_raw
192    <'a>
193{
194    if a.len() > 18446744073709551615u64 as usize
195    { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
196    else
197    {
198        let len64: crate::cbordetveraux::raw_uint64 =
199            crate::cbordetveraux::mk_raw_uint64(a.len() as u64);
200        let res·: crate::cbordetveraux::cbor_array =
201            crate::cbordetveraux::cbor_array
202            { cbor_array_length_size: len64.size, cbor_array_ptr: a };
203        let res: crate::cbordetveraux::cbor_raw =
204            crate::cbordetveraux::cbor_raw::CBOR_Case_Array { v: res· };
205        option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: res }
206    }
207}
208
209pub fn cbor_det_mk_map <'a>(a: &'a mut [crate::cbordetveraux::cbor_map_entry <'a>]) ->
210    option__CBOR_Pulse_Raw_Type_cbor_raw
211    <'a>
212{
213    let mut dest: [crate::cbordetveraux::cbor_raw; 1] =
214        [crate::cbordetveraux::dummy_cbor_det_t(); 1usize];
215    let bres: bool =
216        if a.len() > 18446744073709551615u64 as usize
217        { false }
218        else
219        {
220            let correct: bool = crate::cbordetveraux::cbor_raw_sort(a);
221            if correct
222            {
223                let raw_len: crate::cbordetveraux::raw_uint64 =
224                    crate::cbordetveraux::mk_raw_uint64(a.len() as u64);
225                let res·: crate::cbordetveraux::cbor_map =
226                    crate::cbordetveraux::cbor_map
227                    { cbor_map_length_size: raw_len.size, cbor_map_ptr: a };
228                let res: crate::cbordetveraux::cbor_raw =
229                    crate::cbordetveraux::cbor_raw::CBOR_Case_Map { v: res· };
230                (&mut dest)[0] = res;
231                true
232            }
233            else
234            { false }
235        };
236    if bres
237    {
238        let res: crate::cbordetveraux::cbor_raw = (&dest)[0];
239        option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: res }
240    }
241    else
242    { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
243}
244
245pub fn cbor_det_equal(x1: crate::cbordetveraux::cbor_raw, x2: crate::cbordetveraux::cbor_raw) ->
246    bool
247{
248    let comp: i16 = crate::cbordetveraux::impl_cbor_compare(x1, x2);
249    comp == 0i16
250}
251
252pub fn cbor_det_major_type(x: crate::cbordetveraux::cbor_raw) -> u8
253{ crate::cbordetveraux::impl_major_type(x) }
254
255pub type cbor_det_array <'a> = crate::cbordetveraux::cbor_raw <'a>;
256
257pub type cbor_det_map <'a> = crate::cbordetveraux::cbor_raw <'a>;
258
259#[derive(PartialEq, Clone, Copy)]
260enum cbor_det_view_tags
261{
262    Int64,
263    String,
264    Array,
265    Map,
266    Tagged,
267    SimpleValue
268}
269
270#[derive(PartialEq, Clone, Copy)]
271pub enum cbor_det_view <'a>
272{
273    Int64 { kind: cbor_det_int_kind, value: u64 },
274    String { kind: cbor_det_string_kind, payload: &'a [u8] },
275    Array { _0: crate::cbordetveraux::cbor_raw <'a> },
276    Map { _0: crate::cbordetveraux::cbor_raw <'a> },
277    Tagged { tag: u64, payload: crate::cbordetveraux::cbor_raw <'a> },
278    SimpleValue { _0: u8 }
279}
280
281pub fn cbor_det_destruct <'a>(c: crate::cbordetveraux::cbor_raw <'a>) -> cbor_det_view <'a>
282{
283    let ty: u8 = cbor_det_major_type(c);
284    if
285    ty == crate::cbordetveraux::cbor_major_type_uint64
286    ||
287    ty == crate::cbordetveraux::cbor_major_type_neg_int64
288    {
289        let k: cbor_det_int_kind =
290            if ty == crate::cbordetveraux::cbor_major_type_uint64
291            { cbor_det_int_kind::UInt64 }
292            else
293            { cbor_det_int_kind::NegInt64 };
294        let _letpattern: crate::cbordetveraux::cbor_raw = c;
295        let res: crate::cbordetveraux::raw_uint64 =
296            match _letpattern
297            {
298                crate::cbordetveraux::cbor_raw::CBOR_Case_Int { v: c· } =>
299                  crate::cbordetveraux::raw_uint64
300                  { size: c·.cbor_int_size, value: c·.cbor_int_value },
301                _ => panic!("Incomplete pattern matching")
302            };
303        let i: u64 = res.value;
304        cbor_det_view::Int64 { kind: k, value: i }
305    }
306    else if
307    ty == crate::cbordetveraux::cbor_major_type_byte_string
308    ||
309    ty == crate::cbordetveraux::cbor_major_type_text_string
310    {
311        let k: cbor_det_string_kind =
312            if ty == crate::cbordetveraux::cbor_major_type_byte_string
313            { cbor_det_string_kind::ByteString }
314            else
315            { cbor_det_string_kind::TextString };
316        let _letpattern: crate::cbordetveraux::cbor_raw = c;
317        let s: &[u8] =
318            match _letpattern
319            {
320                crate::cbordetveraux::cbor_raw::CBOR_Case_String { v: c· } => c·.cbor_string_ptr,
321                _ => panic!("Incomplete pattern matching")
322            };
323        cbor_det_view::String { kind: k, payload: s }
324    }
325    else if ty == crate::cbordetveraux::cbor_major_type_array
326    {
327        let res: crate::cbordetveraux::cbor_raw = c;
328        cbor_det_view::Array { _0: res }
329    }
330    else if ty == crate::cbordetveraux::cbor_major_type_map
331    {
332        let res: crate::cbordetveraux::cbor_raw = c;
333        cbor_det_view::Map { _0: res }
334    }
335    else if ty == crate::cbordetveraux::cbor_major_type_tagged
336    {
337        let res: crate::cbordetveraux::raw_uint64 =
338            match c
339            {
340                crate::cbordetveraux::cbor_raw::CBOR_Case_Tagged { v: c· } => c·.cbor_tagged_tag,
341                crate::cbordetveraux::cbor_raw::CBOR_Case_Serialized_Tagged { v: c· } =>
342                  c·.cbor_serialized_header,
343                _ => panic!("Incomplete pattern matching")
344            };
345        let tag: u64 = res.value;
346        let res0: crate::cbordetveraux::cbor_raw =
347            crate::cbordetveraux::cbor_match_tagged_get_payload(c);
348        let payload: crate::cbordetveraux::cbor_raw = res0;
349        cbor_det_view::Tagged { tag, payload }
350    }
351    else
352    {
353        let _letpattern: crate::cbordetveraux::cbor_raw = c;
354        let i: u8 =
355            match _letpattern
356            {
357                crate::cbordetveraux::cbor_raw::CBOR_Case_Simple { v: res } => res,
358                _ => panic!("Incomplete pattern matching")
359            };
360        cbor_det_view::SimpleValue { _0: i }
361    }
362}
363
364pub fn cbor_det_get_array_length(x: crate::cbordetveraux::cbor_raw) -> u64
365{
366    let res: crate::cbordetveraux::raw_uint64 =
367        match x
368        {
369            crate::cbordetveraux::cbor_raw::CBOR_Case_Array { v: c· } =>
370              crate::cbordetveraux::raw_uint64
371              { size: c·.cbor_array_length_size, value: (c·.cbor_array_ptr).len() as u64 },
372            crate::cbordetveraux::cbor_raw::CBOR_Case_Serialized_Array { v: c· } =>
373              c·.cbor_serialized_header,
374            _ => panic!("Incomplete pattern matching")
375        };
376    res.value
377}
378
379pub type cbor_det_array_iterator_t <'a> =
380crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw <'a>;
381
382pub fn cbor_det_array_iterator_start <'a>(x: crate::cbordetveraux::cbor_raw <'a>) ->
383    crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw
384    <'a>
385{
386    let res: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw =
387        crate::cbordetveraux::cbor_array_iterator_init(x);
388    let res0: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw = res;
389    res0
390}
391
392pub fn cbor_det_array_iterator_is_empty(
393    x: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw
394) ->
395    bool
396{ crate::cbordetveraux::cbor_array_iterator_is_empty(x) }
397
398pub fn cbor_det_array_iterator_next <'b, 'a>(
399    x: &'b mut [crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw <'a>]
400) ->
401    crate::cbordetveraux::cbor_raw
402    <'a>
403{
404    let res: crate::cbordetveraux::cbor_raw = crate::cbordetveraux::cbor_array_iterator_next(x);
405    res
406}
407
408pub fn cbor_det_array_iterator_length(
409    x: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw
410) ->
411    u64
412{ crate::cbordetveraux::cbor_array_iterator_length(x) }
413
414pub fn cbor_det_array_iterator_truncate <'a>(
415    x: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw <'a>,
416    len: u64
417) ->
418    crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw
419    <'a>
420{
421    let res: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_raw =
422        crate::cbordetveraux::cbor_array_iterator_truncate(x, len);
423    res
424}
425
426pub fn cbor_det_get_array_item <'a>(x: crate::cbordetveraux::cbor_raw <'a>, i: u64) ->
427    option__CBOR_Pulse_Raw_Type_cbor_raw
428    <'a>
429{
430    let len: u64 = cbor_det_get_array_length(x);
431    if i >= len
432    { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
433    else
434    {
435        let res: crate::cbordetveraux::cbor_raw = crate::cbordetveraux::cbor_array_item(x, i);
436        let res0: crate::cbordetveraux::cbor_raw = res;
437        option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: res0 }
438    }
439}
440
441pub fn cbor_det_map_length(x: crate::cbordetveraux::cbor_raw) -> u64
442{
443    let res: crate::cbordetveraux::raw_uint64 =
444        match x
445        {
446            crate::cbordetveraux::cbor_raw::CBOR_Case_Map { v: c· } =>
447              crate::cbordetveraux::raw_uint64
448              { size: c·.cbor_map_length_size, value: (c·.cbor_map_ptr).len() as u64 },
449            crate::cbordetveraux::cbor_raw::CBOR_Case_Serialized_Map { v: c· } =>
450              c·.cbor_serialized_header,
451            _ => panic!("Incomplete pattern matching")
452        };
453    res.value
454}
455
456pub type cbor_det_map_iterator_t <'a> =
457crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry <'a>;
458
459pub fn cbor_det_map_iterator_start <'a>(x: crate::cbordetveraux::cbor_raw <'a>) ->
460    crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry
461    <'a>
462{
463    let res: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry =
464        crate::cbordetveraux::cbor_map_iterator_init(x);
465    let res0: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry = res;
466    res0
467}
468
469pub fn cbor_det_map_iterator_is_empty(
470    x: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry
471) ->
472    bool
473{ crate::cbordetveraux::cbor_map_iterator_is_empty(x) }
474
475pub fn cbor_det_map_iterator_next <'b, 'a>(
476    x: &'b mut [crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry <'a>]
477) ->
478    crate::cbordetveraux::cbor_map_entry
479    <'a>
480{
481    let res: crate::cbordetveraux::cbor_map_entry =
482        crate::cbordetveraux::cbor_map_iterator_next(x);
483    res
484}
485
486pub fn cbor_det_map_entry_key <'a>(x2: crate::cbordetveraux::cbor_map_entry <'a>) ->
487    crate::cbordetveraux::cbor_raw
488    <'a>
489{ x2.cbor_map_entry_key }
490
491pub fn cbor_det_map_entry_value <'a>(x2: crate::cbordetveraux::cbor_map_entry <'a>) ->
492    crate::cbordetveraux::cbor_raw
493    <'a>
494{ x2.cbor_map_entry_value }
495
496pub fn cbor_det_map_get <'a>(
497    x: crate::cbordetveraux::cbor_raw <'a>,
498    k: crate::cbordetveraux::cbor_raw <'a>
499) ->
500    option__CBOR_Pulse_Raw_Type_cbor_raw
501    <'a>
502{
503    let mut dest: [crate::cbordetveraux::cbor_raw; 1] = [k; 1usize];
504    let res: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry =
505        crate::cbordetveraux::cbor_map_iterator_init(x);
506    let i: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry = res;
507    let mut pi: [crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry; 1] =
508        [i; 1usize];
509    let mut pres: [option__CBOR_Pulse_Raw_Type_cbor_raw; 1] =
510        [option__CBOR_Pulse_Raw_Type_cbor_raw::None; 1usize];
511    let i_is_empty: bool = crate::cbordetveraux::cbor_map_iterator_is_empty(i);
512    let cont: bool = ! i_is_empty;
513    let mut pcont: [bool; 1] = [cont; 1usize];
514    while
515    (&pcont)[0]
516    {
517        let res0: crate::cbordetveraux::cbor_map_entry =
518            crate::cbordetveraux::cbor_map_iterator_next(&mut pi);
519        let entry: crate::cbordetveraux::cbor_map_entry = res0;
520        let key: crate::cbordetveraux::cbor_raw = entry.cbor_map_entry_key;
521        let comp: i16 = crate::cbordetveraux::impl_cbor_det_compare(key, k);
522        if comp == 0i16
523        {
524            let value: crate::cbordetveraux::cbor_raw = entry.cbor_map_entry_value;
525            (&mut pres)[0] = option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: value };
526            (&mut pcont)[0] = false
527        }
528        else if comp > 0i16
529        { (&mut pcont)[0] = false }
530        else
531        {
532            let i·: crate::cbordetveraux::cbor_raw_iterator__CBOR_Pulse_Raw_Type_cbor_map_entry =
533                (&pi)[0];
534            let is_empty: bool = crate::cbordetveraux::cbor_map_iterator_is_empty(i·);
535            let cont1: bool = ! is_empty;
536            (&mut pcont)[0] = cont1
537        }
538    };
539    let res0: option__CBOR_Pulse_Raw_Type_cbor_raw = (&pres)[0];
540    let bres: bool =
541        match res0
542        {
543            option__CBOR_Pulse_Raw_Type_cbor_raw::None => false,
544            option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: vres } =>
545              {
546                  (&mut dest)[0] = vres;
547                  true
548              },
549            _ => panic!("Incomplete pattern matching")
550        };
551    if bres
552    {
553        let res1: crate::cbordetveraux::cbor_raw = (&dest)[0];
554        option__CBOR_Pulse_Raw_Type_cbor_raw::Some { v: res1 }
555    }
556    else
557    { option__CBOR_Pulse_Raw_Type_cbor_raw::None }
558}
559
560pub fn cbor_det_serialize_string(ty: u8, off: u64, out: &mut [u8]) -> usize
561{
562    let roff: crate::cbordetveraux::raw_uint64 = crate::cbordetveraux::mk_raw_uint64(off);
563    let res: usize = crate::cbordetveraux::cbor_serialize_string(ty, roff, out);
564    res
565}
566
567pub fn cbor_det_serialize_tag(tag: u64, output: &mut [u8]) -> usize
568{
569    let tag·: crate::cbordetveraux::raw_uint64 = crate::cbordetveraux::mk_raw_uint64(tag);
570    crate::cbordetveraux::cbor_serialize_tag(tag·, output)
571}
572
573pub fn cbor_det_serialize_array(len: u64, out: &mut [u8], off: usize) -> usize
574{
575    let rlen: crate::cbordetveraux::raw_uint64 = crate::cbordetveraux::mk_raw_uint64(len);
576    crate::cbordetveraux::cbor_serialize_array(rlen, out, off)
577}
578
579pub fn cbor_det_serialize_map_insert(out: &mut [u8], off2: usize, off3: usize) -> bool
580{ crate::cbordetveraux::cbor_raw_map_insert(out, off2, off3) }
581
582pub fn cbor_det_serialize_map(len: u64, out: &mut [u8], off: usize) -> usize
583{
584    let rlen: crate::cbordetveraux::raw_uint64 = crate::cbordetveraux::mk_raw_uint64(len);
585    crate::cbordetveraux::cbor_serialize_map(rlen, out, off)
586}
587
588pub fn dummy_cbor_det_t <'a>() -> crate::cbordetveraux::cbor_raw <'a>
589{ crate::cbordetveraux::dummy_cbor_det_t() }