val byte : Type0
let byte = uint_8
module ASN1.Base
open FStar.Integers

module U32 = FStar.UInt32
module B32 = FStar.Bytes
/
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.Integers.uint_8
let byte =
  
uint_8