Mercurial > urweb
comparison src/print.sig @ 1362:fd34210bc3e5
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 |
comparison
equal
deleted
inserted
replaced
1361:7a436b6267ab | 1362:fd34210bc3e5 |
---|---|
57 val eprefaces : string -> (string * PD.pp_desc) list -> unit | 57 val eprefaces : string -> (string * PD.pp_desc) list -> unit |
58 | 58 |
59 val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit | 59 val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit |
60 val prefaces' : (string * PD.pp_desc) list -> unit | 60 val prefaces' : (string * PD.pp_desc) list -> unit |
61 val eprefaces' : (string * PD.pp_desc) list -> unit | 61 val eprefaces' : (string * PD.pp_desc) list -> unit |
62 | |
63 val openOut : {dst : TextIO.outstream, wid : int} -> PD.PPS.stream | |
62 end | 64 end |