package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val pp_dot : name:string -> t CCFormat.printer

Pretty print the proof as a DOT graph

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

print to dot into a file

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

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

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

same as pp_dot_seq but into a file

OCaml

Innovation. Community. Security.