Module type Dedukti.S

module type S = Backend_intf.S

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