let constantByte_parser_kind' = LP.parse_filter_kind LP.parse_u8_kind
let constantByte_parser_kind' =
LP.parse_filter_kind LP.parse_u8_kind
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.Combinators.parse_filter_kind LowParse.Spec.Int.parse_u8_kind
module Format.Constants

open FStar.Bytes

module LP = LowParse.SLow
module U8 = FStar.UInt8
val constantByte_parser_kind' : LowParse.Spec.Base.parser_kind
LowParse.Spec.Base.parser_kind