output to draw_pp's ppf

2021-08-10 02:37:00 -05:00
parent 58975feee5
commit 73d9260b1f
4 changed files with 34 additions and 33 deletions
--- a/topinf.mli
+++ b/topinf.mli
@ -23,3 +23,5 @@ type directive_fun =
 type directive_info = { section : string; doc : string }

 val directive_info_table : (string, directive_info) Hashtbl.t
+
+val ppf : Format.formatter ref