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