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