Module Graph

The goal of this module is to render proof as graphml that are easy to navigate with Yed

val head : string

File header

val tail : string

File trailer

Node printing

val node : Stdlib.Format.formatter -> string -> string -> unit

Node printing

val uNode : Stdlib.Format.formatter -> string -> (Stdlib.Format.formatter -> unit) -> unit

Node printing

val edge : Stdlib.Format.formatter -> string -> string -> unit

Edge printing

val revEdge : Stdlib.Format.formatter -> string -> string -> unit

Edge printing

val groupBegin : Stdlib.Format.formatter -> string -> unit
val groupEnd : Stdlib.Format.formatter -> unit
val to_nodes : Stdlib.Format.formatter -> string Proof.proof -> unit

Proof printing, without header and trailer

val output : Stdlib.Format.formatter -> Ast.typ_prf -> unit

Complete proof printing