Module Uq_engines_compat.Debug

module Debug: sig .. end

val enable : bool Stdlib.ref