Module LLProof.DotSource

Sourceval pp_dot : name:string -> t CCFormat.printer

Pretty print the proof as a DOT graph

Sourceval pp_dot_file : ?name:string -> string -> t -> unit

print to dot into a file

Sourceval pp_dot_seq : name:string -> t Iter.t CCFormat.printer

Print a set of proofs as a DOT graph, sharing common subproofs

Sourceval pp_dot_seq_file : ?name:string -> string -> t Iter.t -> unit

same as pp_dot_seq but into a file