Function ber_sequence_normalized_fmt 

pub open spec fn ber_sequence_normalized_fmt<C>(tag: Tag, content: C) -> ASN1Fmt<C, BER>

{ ASN1Fmt(tag, content) }

The definite-length BER encoding selected by BerSequenceFmt’s serializer.