Class ProverTask.printer

class printer : Format.formatter -> string -> object .. end

val mutable lastpar : bool
method paragraph : unit
method lines : unit
method hline : unit
method section : string -> unit
method printf : 'a. ('a, Format.formatter, unit) Pervasives.format -> 'a