val debug_HSL : Prims.bool
let debug_HSL = debug
module MiTLS.DebugFlags
open MiTLS

// debug printing flags, one per module
inline_for_extraction let debug = true
inline_for_extraction let debug_QUIC = debug
inline_for_extraction let debug_CDH = debug
inline_for_extraction let debug_Epochs = debug
inline_for_extraction let debug_FFI = debug
/
prims.fst.checked FStar.Pervasives.fsti.checked
MiTLS.DebugFlags.fst
Prims.bool
MiTLS.DebugFlags.debug
let debug_HSL =
  
debug