module Make: functor (S : Res.S) -> functor (A : Arg with type atom := S.atom and type lemma := S.lemma) -> S with type t := S.proof
Functor for making a module to export proofs to the DOT format.
| Parameters: |
S |
: |
Res.S
|
A |
: |
Arg with type atom := S.atom and type lemma := S.lemma
|
|
Proof exporting
Currently, exporting a proof means printing it into a file
according to the conventions of a given format.
type
The type of proofs.
val print : Format.formatter -> t -> unit
A function for printing proofs in the desired format.