sig
  val atom : Format.formatter -> Solver_types.atom -> unit
  val clause : Format.formatter -> Solver_types.clause -> unit
end