\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val export_term: Drg.term -> 'a Library.pp
+val export_term: Drg.term -> Library.pp
+
+val pp_term: (string -> unit) -> Drg.term -> unit