src/Pure/ML-Systems/polyml_common.ML

 
 fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2);
 
 
 (* toplevel pretty printing (see also Pure/pure_setup.ML) *)
+
+type ('a, 'b) pp =
+  (string -> unit) * (int * bool -> unit) * (int * int -> unit) * (unit -> unit) ->
+    int -> ('a * int -> unit) -> 'b -> unit;
 
 fun make_pp _ pprint (str, blk, brk, en) _ _ obj =
   pprint obj (str, fn ind => blk (ind, false), fn wd => brk (wd, 0),
     fn () => brk (99999, 0), en);