Module `Dot.Make`

Functor for making a module to export proofs to the DOT format.

S : Msat.S
A : Arg with type atom := S.atom and type hyp := S.clause and type lemma := S.clause and type assumption := S.clause

val pp : Format.formatter -> t -> unit: A function for printing proofs in the desired format.