Module type Dot.S
Interface for exporting proofs.
val print : Stdlib.Format.formatter -> t -> unit
A function for printing proofs in the desired format.
Dot.S
Interface for exporting proofs.
val print : Stdlib.Format.formatter -> t -> unit
A function for printing proofs in the desired format.