Skip to main content

asn1_start_empty

vest_lib::asn1::disjoint

Function asn1_start_empty 

Source 
pub open spec fn asn1_start_empty() -> Asn1StartDomain
Expand description
{
    Asn1StartDomain {
        accepts_empty: true,
        tags: empty_tag_lead_mask(),
    }
}