Expand description
Specification trait implementations for this combinator. Specifications for fixed-width unsigned integers.
Structs§
Constants§
Functions§
- lemma_
u16_ be_ bytes_ roundtrip - lemma_
u16_ be_ value_ roundtrip - lemma_
u16_ le_ bytes_ roundtrip - lemma_
u16_ le_ value_ roundtrip - lemma_
u24_ be_ bytes_ roundtrip - lemma_
u24_ be_ from_ bytes_ range - lemma_
u24_ be_ value_ roundtrip - lemma_
u24_ le_ bytes_ roundtrip - lemma_
u24_ le_ from_ bytes_ range - lemma_
u24_ le_ value_ roundtrip - lemma_
u32_ be_ bytes_ roundtrip - lemma_
u32_ be_ value_ roundtrip - lemma_
u32_ le_ bytes_ roundtrip - lemma_
u32_ le_ value_ roundtrip - lemma_
u64_ be_ bytes_ roundtrip - lemma_
u64_ be_ value_ roundtrip - lemma_
u64_ le_ bytes_ roundtrip - lemma_
u64_ le_ value_ roundtrip - u16_
be_ fmt - u16_
be_ from_ bytes - u16_
be_ to_ bytes - u16_
le_ fmt - u16_
le_ from_ bytes - u16_
le_ to_ bytes - u24_
be_ fmt - u24_
be_ from_ bytes - u24_
be_ to_ bytes - u24_
le_ fmt - u24_
le_ from_ bytes - u24_
le_ to_ bytes - u32_
be_ fmt - u32_
be_ from_ bytes - u32_
be_ to_ bytes - u32_
le_ fmt - u32_
le_ from_ bytes - u32_
le_ to_ bytes - u64_
be_ fmt - u64_
be_ from_ bytes - u64_
be_ to_ bytes - u64_
le_ fmt - u64_
le_ from_ bytes - u64_
le_ to_ bytes