Module Solver_types.Debug (.ml)

module Debug: sig .. end

val atom : Format.formatter -> Solver_types.atom -> unit

val clause : Format.formatter -> Solver_types.clause -> unit