Module bmpstring 

ASN.1 BMPString contents. ASN.1 BMPString values and UCS-2 contents format.

Structs

BmpString

Semantic BMPString value. Parsing necessarily owns the result because BMPString wire octets are not UTF-8 and constructed BER values may span discontiguous input segments.

BmpStringSpec

Functions

bmp_code_unit

bmpstring_fmt

check_valid_bmp_string

decode_bmp_string

encode_bmp_string

is_bmp_char

is_valid_bmp_chars

is_valid_bmp_string

lemma_decode_encode_bmp_string

lemma_decoded_bmp_string_valid

lemma_encode_bmp_string_valid

lemma_encode_decode_bmp_string