val constantByte_parser_kind' : LowParse.Spec.Base.parser_kind
let constantByte_parser_kind' = LP.parse_filter_kind LP.parse_u8_kind
module MiTLS.Format.Constants
open MiTLS

open FStar.Bytes

module LP = LowParse.SLow
module U8 = FStar.UInt8
/
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
LowParse.Spec.Combinators.parse_filter_kind LowParse.Spec.Int.parse_u8_kind
let constantByte_parser_kind' =
  
LP.parse_filter_kind LP.parse_u8_kind