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

// debug printing flags, one per module
val debug_QUIC : Prims.bool
Prims.bool