Module sints 

Fixed-width signed integer combinators.

These parse and serialize two’s-complement integers in explicit little- or big-endian byte order.

Modules

exec

Executable trait implementations for this combinator. Executable fixed-width signed integer formats.

proof

Correctness proofs for this combinator. Correctness proofs for fixed-width signed integers.

spec

Specification trait implementations for this combinator. Specifications for fixed-width signed integers.

Structs

I8

Signed 8-bit integer combinator.

I16Be

Big-endian signed 16-bit integer.

I16Le

Little-endian signed 16-bit integer.

I32Be

Big-endian signed 32-bit integer.

I32Le

Little-endian signed 32-bit integer.

I64Be

Big-endian signed 64-bit integer.

I64Le

Little-endian signed 64-bit integer.