val serialize32_asn1_sequence_TLV_backwards
  (#k: parser_kind)
  (#t: Type0)
  (#p: parser k t)
  (#s: serializer p)
  (s32: serializer32_backwards s)
: (serializer32_backwards (serialize_asn1_sequence_TLV s))
val serialize32_asn1_sequence_TLV_backwards
  (#k: parser_kind)
  (#t: Type0)
  (#p: parser k t)
  (#s: serializer p)
  (s32: serializer32_backwards s)
: (serializer32_backwards (serialize_asn1_sequence_TLV s))
let serialize32_asn1_sequence_TLV_backwards #k #t #p #s s32
= serialize32_asn1_envelop_tag_with_TLV_backwards SEQUENCE s32
module ASN1.Low.Value.SEQUENCE
///
/// ASN.1 Low
///

open ASN1.Spec.Value.SEQUENCE
open ASN1.Low.Value.Envelop

friend ASN1.Spec.Value.SEQUENCE
/
prims.fst.checked FStar.Pervasives.fsti.checked ASN1.Spec.Value.SEQUENCE.fst.checked ASN1.Spec.Value.SEQUENCE.fst.checked ASN1.Low.Value.Envelop.fsti.checked
ASN1.Low.Value.SEQUENCE.fst
s32: ASN1.Low.Base.serializer32_backwards s
  -> ASN1.Low.Base.serializer32_backwards (ASN1.Spec.Value.SEQUENCE.serialize_asn1_sequence_TLV s)
LowParse.Spec.Base.parser_kind LowParse.Spec.Base.parser LowParse.Spec.Base.serializer ASN1.Low.Base.serializer32_backwards ASN1.Low.Value.Envelop.serialize32_asn1_envelop_tag_with_TLV_backwards ASN1.Base.SEQUENCE ASN1.Spec.Value.Envelop.parse_asn1_envelop_tag_with_TLV_kind ASN1.Spec.Value.SEQUENCE.inbound_sequence_value_of ASN1.Spec.Value.SEQUENCE.parse_asn1_sequence_TLV ASN1.Spec.Value.SEQUENCE.serialize_asn1_sequence_TLV
let serialize32_asn1_sequence_TLV_backwards #k #t #p #s s32 =
  
serialize32_asn1_envelop_tag_with_TLV_backwards SEQUENCE s32