val is_constantByte (c x: byte) : Tot bool
let is_constantByte (c:byte) (x:byte): Tot bool = x = c
val is_constantByte (c x: byte) : Tot bool
let is_constantByte (c x: byte) : Tot bool =
x = c
Format.Constants.fsti.checked
prims.fst.checked LowParse.SLow.Base.fst.checked FStar.UInt8.fsti.checked FStar.Pervasives.fsti.checked FStar.Bytes.fsti.checked
Format.Constants.fsti
FStar.Bytes.byte Prims.op_Equality Prims.bool
module Format.Constants

open FStar.Bytes

module LP = LowParse.SLow.Base
module U8 = FStar.UInt8
val is_constantByte (c x: byte) : Tot bool
c: FStar.Bytes.byte -> x: FStar.Bytes.byte -> Prims.bool