Module tag 

ASN.1 tag octets. ASN.1 identifier octets, tag classes, and universal tag numbers.

Structs

Tag

Enums

Class

TagNumber

Constants

TAG_CLASS_MASK

Bit-mask for the class bits (bits 7–6) of the first tag byte.

TAG_CONSTRUCTED_MASK

Bit-mask for the “constructed” bit (bit 5) of the first tag byte.

TAG_LONG_FORM_SENTINEL

Sentinel value in bits 4–0 signalling the long (high-tag) form.

TAG_NUMBER_MASK

Bit-mask for the tag-number bits (bits 4–0) of the first tag byte.

Functions

class_bits

class_of_first_byte

constructed_bit

constructed_of_first_byte

constructed_tag

first_byte_from_parts

lemma_const_tag_fmt_exec_inv

lemma_tag_wf_implies_tag_consistent

primitive_tag

tag_num_from_uint

tag_num_to_uint

tag_number_value

tag_number_wf

uint_to_tag_num