Function asn1_start_identity 

pub open spec fn asn1_start_identity(class: Class, number: TagNumber) -> Asn1StartDomain

{ asn1_start_identity_uint(class, tag_num_to_uint(number)) }