val constantByte_parser (c: byte) : Tot (LP.parser constantByte_parser_kind (constantByte c))
let constantByte_parser c =
  LP.parse_filter LP.parse_u8 (is_constantByte c)
val constantByte_parser (c: byte) : Tot (LP.parser constantByte_parser_kind (constantByte c))
let constantByte_parser c =
LP.parse_filter LP.parse_u8 (is_constantByte c)
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
FStar.Bytes.byte LowParse.Spec.Combinators.parse_filter LowParse.Spec.Int.parse_u8_kind FStar.UInt8.t LowParse.Spec.Int.parse_u8 Format.Constants.is_constantByte LowParse.Spec.Base.parser Format.Constants.constantByte_parser_kind Format.Constants.constantByte
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

let constantByte_parser_kind_metadata = constantByte_parser_kind'.LP.parser_kind_metadata
val constantByte_parser (c: byte) : Tot (LP.parser constantByte_parser_kind (constantByte c))
c: FStar.Bytes.byte
  -> LowParse.Spec.Base.parser Format.Constants.constantByte_parser_kind
      (Format.Constants.constantByte c)