Module type Dot.S

Interface for exporting proofs.

type t

The type of proofs.

val print : Stdlib.Format.formatter -> t -> unit

A function for printing proofs in the desired format.