val bytes : Type0
let bytes = Seq.seq byte
module ASN1.Base
open FStar.Integers

module U32 = FStar.UInt32
module B32 = FStar.Bytes

let (.[]) = FStar.Seq.index
let byte = uint_8
/
prims.fst.checked LowParse.Spec.Combinators.fsti.checked LowParse.Spec.Base.fsti.checked FStar.UInt8.fsti.checked FStar.UInt32.fsti.checked FStar.Seq.Properties.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.List.fst.checked FStar.Integers.fst.checked FStar.Bytes.fsti.checked
ASN1.Base.fst
Type0
FStar.Seq.Base.seq ASN1.Base.byte
let bytes =
  
Seq.seq byte