Mercurial > urweb

diff src/print.sig @ 1362:fd34210bc3e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add an extra Especialize pass before Rpcify
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 12:51:46 -0500
parents 73456bfde988
children
line wrap: on
line diff
--- a/src/print.sig	Thu Dec 23 18:07:05 2010 -0500
+++ b/src/print.sig	Fri Dec 24 12:51:46 2010 -0500
@@ -59,4 +59,6 @@
     val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit
     val prefaces' : (string * PD.pp_desc) list -> unit
     val eprefaces' : (string * PD.pp_desc) list -> unit
+
+    val openOut : {dst : TextIO.outstream, wid : int} -> PD.PPS.stream
 end