let debug_HSL = debug
let debug_HSL =
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
inline_for_extraction let debug_FFI = debug
val debug_HSL : Prims.bool
Prims.bool