let parse_varint_payload_kind = {
  parser_kind_low = 0;
  parser_kind_high = Some 7;
  parser_kind_subkind = Some ParserStrong;
  parser_kind_metadata = None;
}
let parse_varint_payload_kind =
{
  parser_kind_low = 0;
  parser_kind_high = Some 7;
  parser_kind_subkind = Some ParserStrong;
  parser_kind_metadata = None
}
QUIC.Spec.VarInt.fst.checked
QUIC.UInt62.fst.checked prims.fst.checked LowParse.Spec.BoundedInt.fsti.checked LowParse.Spec.BitFields.fst.checked LowParse.BitFields.fsti.checked FStar.UInt8.fsti.checked FStar.UInt64.fsti.checked FStar.UInt32.fsti.checked FStar.UInt16.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked FStar.Int.Cast.fst.checked FStar.Classical.fsti.checked
QUIC.Spec.VarInt.fst
LowParse.Spec.Base.Mkparser_kind' FStar.Pervasives.Native.Some Prims.nat LowParse.Spec.Base.parser_subkind LowParse.Spec.Base.ParserStrong FStar.Pervasives.Native.None LowParse.Spec.Base.parser_kind_metadata_some
module QUIC.Spec.VarInt

module U64 = FStar.UInt64
module LP = LowParse.Spec.BoundedInt // for bounded_int32

open LowParse.Spec.BoundedInt
open LowParse.Spec.BitFields

inline_for_extraction
val parse_varint_payload_kind : LowParse.Spec.Base.parser_kind'
LowParse.Spec.Base.parser_kind'