Expand description
ASN.1 INTEGER contents octets. ASN.1 INTEGER values, general contents, and bounded integer formats.
Structs§
- BigInt
- Integer8
Fmt - ASN.1 INTEGER contents specialized to the
i8representation. - Integer16
Fmt - ASN.1 INTEGER contents specialized to the
i16representation.
Enums§
Functions§
- fits_i8
- i64_
from_ be_ bytes - i64_
to_ be_ bytes - i64_
to_ be_ bytes_ in_ place - i64_
to_ be_ bytes_ len - int_
from_ be_ bytes - int_
to_ be_ bytes - integer_
bytes_ minimal - integer_
bytes_ wf - integer_
fmt - invert_
byte - invert_
bytes - lemma_
from_ be_ bytes_ invert - lemma_
integer_ fmt_ sound_ nonmal_ inv - lemma_
integer_ fmt_ unambiguous - lemma_
integer_ from_ to_ bytes - lemma_
integer_ to_ from_ bytes - lemma_
invert_ byte_ props - lemma_
invert_ bytes_ involutive - negative_
int_ to_ bytes - nonnegative_
int_ to_ bytes - sign_
bit_ set