val constantByte_parser_kind_metadata: LP.parser_kind_metadata_t
val constantByte_parser_kind_metadata: LP.parser_kind_metadata_t
let constantByte_parser_kind_metadata = constantByte_parser_kind'.LP.parser_kind_metadata
module MiTLS.Format.Constants
open MiTLS

open FStar.Bytes

module LP = LowParse.SLow
module U8 = FStar.UInt8

let constantByte_parser_kind' = LP.parse_filter_kind LP.parse_u8_kind
/
prims.fst.checked LowParse.SLow.fst.checked FStar.UInt8.fsti.checked FStar.Pervasives.fsti.checked FStar.Bytes.fsti.checked
MiTLS.Format.Constants.fst
LowParse.Spec.Base.parser_kind_metadata_t
LowParse.Spec.Base.__proj__Mkparser_kind'__item__parser_kind_metadata MiTLS.Format.Constants.constantByte_parser_kind'
let constantByte_parser_kind_metadata =
  
constantByte_parser_kind'.LP.parser_kind_metadata