let debug_HS = debug
let debug_HS =
debug
DebugFlags.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked
DebugFlags.fst
DebugFlags.debug
module DebugFlags

// 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
val debug_HS : Prims.bool
Prims.bool