val header_form:LP.enum header_form_t (LPB.bitfield LPB.uint8 1)
val header_form:LP.enum header_form_t (LPB.bitfield LPB.uint8 1)
let header_form : LP.enum header_form_t (LPB.bitfield LPB.uint8 1) = [
  Long, 1uy;
  Short, 0uy;
]
module QUIC.Spec.Header.Public

module LP = LowParse.Spec
module LPB = LowParse.Spec.BitSum

inline_for_extraction
type header_form_t =
  | Long
  | Short

[@LPB.filter_bitsum'_t_attr]
inline_for_extraction
/
QUIC.Spec.VarInt.fsti.checked prims.fst.checked LowParse.Spec.Enum.fst.checked LowParse.Spec.BitSum.fst.checked LowParse.Spec.fst.checked FStar.UInt8.fsti.checked FStar.UInt64.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.Native.fst.checked FStar.Pervasives.fsti.checked
QUIC.Spec.Header.Public.fst
LowParse.Spec.Enum.enum QUIC.Spec.Header.Public.header_form_t
  (LowParse.BitFields.bitfield LowParse.BitFields.uint8 1)
Prims.Cons FStar.Pervasives.Native.tuple2 QUIC.Spec.Header.Public.header_form_t LowParse.BitFields.bitfield FStar.UInt8.t LowParse.BitFields.uint8 FStar.Pervasives.Native.Mktuple2 QUIC.Spec.Header.Public.Long FStar.UInt8.__uint_to_t QUIC.Spec.Header.Public.Short Prims.Nil
let header_form:LP.enum header_form_t (LPB.bitfield LPB.uint8 1) =
  
[Long, 1uy; Short, 0uy]