Module type Backend_intf.S

type t

The type of proofs.

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

A function for printing proofs in the desired format.