sig
  val atom : Format.formatter -> Enumsolver_types.atom -> unit
  val atoms_list : Format.formatter -> Enumsolver_types.atom list -> unit
  val clause : Format.formatter -> Enumsolver_types.clause -> unit
end