Module type Backend_intf.S

module type S = sig .. end

Currently, exporting a proof means printing it into a file according to the conventions of a given format.

type t 

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