Class Wp.ProverTask.printer

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

method paragraph : unit
method lines : unit
method section : string -> unit
method hline : unit
method printf : 'a. ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a