package logtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

OCaml

Innovation. Community. Security.