let parse_varint_kind = {
  LP.parser_kind_low = 1;
  LP.parser_kind_high = Some 8;
  LP.parser_kind_subkind = Some LP.ParserStrong;
  LP.parser_kind_metadata = None;
}
let parse_varint_kind =
{
  LP.parser_kind_low = 1;
  LP.parser_kind_high = Some 8;
  LP.parser_kind_subkind = Some LP.ParserStrong;
  LP.parser_kind_metadata = None
}
QUIC.Spec.VarInt.fsti.checked
QUIC.UInt62.fst.checked QUIC.Spec.Base.fst.checked prims.fst.checked LowParse.Spec.BoundedInt.fsti.checked FStar.UInt64.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked FStar.Int.Cast.fst.checked
QUIC.Spec.VarInt.fsti
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 U62 = QUIC.UInt62
module U64 = FStar.UInt64
module LP = LowParse.Spec.BoundedInt // for bounded_int32
module Cast = FStar.Int.Cast

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