Expand description
Specification trait implementations for this combinator. Specifications for fixed-width signed integers.
Constants§
Functions§
- i8_fmt
- i16_
be_ fmt - i16_
be_ from_ bytes - i16_
be_ to_ bytes - i16_
le_ fmt - i16_
le_ from_ bytes - i16_
le_ to_ bytes - i32_
be_ fmt - i32_
be_ from_ bytes - i32_
be_ to_ bytes - i32_
le_ fmt - i32_
le_ from_ bytes - i32_
le_ to_ bytes - i64_
be_ fmt - i64_
be_ from_ bytes - i64_
be_ to_ bytes - i64_
le_ fmt - i64_
le_ from_ bytes - i64_
le_ to_ bytes - lemma_
i8_ bytes_ roundtrip - lemma_
i8_ seq_ roundtrip - lemma_
i8_ value_ roundtrip - lemma_
i16_ be_ bytes_ roundtrip - lemma_
i16_ be_ value_ roundtrip - lemma_
i16_ le_ bytes_ roundtrip - lemma_
i16_ le_ value_ roundtrip - lemma_
i32_ be_ bytes_ roundtrip - lemma_
i32_ be_ value_ roundtrip - lemma_
i32_ le_ bytes_ roundtrip - lemma_
i32_ le_ value_ roundtrip - lemma_
i64_ be_ bytes_ roundtrip - lemma_
i64_ be_ value_ roundtrip - lemma_
i64_ le_ bytes_ roundtrip - lemma_
i64_ le_ value_ roundtrip