Module set_of 

ASN.1 DER SET OF contents. ASN.1 DER SET OF contents.

The enclosing universal tag and DER length are supplied by ASN1Fmt. Elements are ordered by their complete encodings, as required by X.690 §11.6.

Structs

SetOfFmt

DER SET OF contents whose elements are encoded by C.

Functions

der_encodings_sorted

der_leq

der_octet_at

der_octets_drop_head

der_octets_leq

lemma_der_encodings_sorted_index

lemma_der_encodings_sorted_push

lemma_der_encodings_sorted_take

lemma_der_octets_leq_step

lemma_der_octets_leq_transitive

set_of_values_sorted