val constantByte_parser_kind_metadata: LP.parser_kind_metadata_t
let constantByte_parser_kind_metadata = constantByte_parser_kind'.LP.parser_kind_metadata
val constantByte_parser_kind_metadata: LP.parser_kind_metadata_t
let constantByte_parser_kind_metadata =
constantByte_parser_kind'.LP.parser_kind_metadata
Format.Constants.fst.checked
prims.fst.checked LowParse.SLow.fst.checked FStar.UInt8.fsti.checked FStar.Pervasives.fsti.checked FStar.Bytes.fsti.checked
Format.Constants.fst
LowParse.Spec.Base.__proj__Mkparser_kind'__item__parser_kind_metadata Format.Constants.constantByte_parser_kind'
module Format.Constants

open FStar.Bytes

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

let constantByte_parser_kind' = LP.parse_filter_kind LP.parse_u8_kind
val constantByte_parser_kind_metadata: LP.parser_kind_metadata_t
LowParse.Spec.Base.parser_kind_metadata_t