val is_constantByte (c x: byte) : Tot bool
val is_constantByte (c x: byte) : Tot bool
let is_constantByte (c:byte) (x:byte): Tot bool = x = c
module MiTLS.Format.Constants
open MiTLS

open FStar.Bytes

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