Module oid 

ASN.1 OBJECT IDENTIFIER contents octets. ASN.1 OBJECT IDENTIFIER contents.

The first two arcs are represented on the wire by the single subidentifier 40 * first + second. Importantly, that subidentifier is itself encoded using the same minimal base-128 form as every later arc; it is not restricted to one octet.

Structs

ObjectIdentifier

Executable OBJECT IDENTIFIER value.

ObjectIdentifierSpec

Exact semantic representation of an OBJECT IDENTIFIER.

Functions

lemma_oid_arcs_roundtrip

lemma_oid_from_subidentifiers_wf

lemma_oid_subidentifier_roundtrip

object_identifier_inner

oid_first_subidentifier

oid_from_subidentifiers

oid_to_subidentifiers

Type Aliases

ObjectIdentifierInnerFmt