Module Dot

module Dot: sig .. end

Dot backend for proofs

This modules provides functions to export proofs into the dot graph format. Graphs in dot format can be used to generates images using the graphviz tool.

module type S = Backend_intf.S

Interface for exporting proofs.

module type Arg = sig .. end

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.