Module `Dot.Make`

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

Parameters

A : Arg with type atom := Mc2_core.Atom.t and type hyp := Mc2_core.Clause.t and type lemma := Mc2_core.Clause.t and type assumption := Mc2_core.Clause.t

Signature

type t: The type of proofs.

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