Mercurial > urweb
comparison src/print.sig @ 29:537db4ee89f4
Translation to Cjr
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 18:28:43 -0400 |
parents | daa4f1d7a663 |
children | 73456bfde988 |
comparison
equal
deleted
inserted
replaced
28:104d43266b33 | 29:537db4ee89f4 |
---|---|
28 (* Pretty-printing *) | 28 (* Pretty-printing *) |
29 | 29 |
30 signature PRINT = sig | 30 signature PRINT = sig |
31 structure PD : PP_DESC | 31 structure PD : PP_DESC |
32 where type PPS.token = string | 32 where type PPS.token = string |
33 and type PPS.device = TextIOPP.device | |
34 and type PPS.stream = TextIOPP.stream | |
33 | 35 |
34 type 'a printer = 'a -> PD.pp_desc | 36 type 'a printer = 'a -> PD.pp_desc |
35 | 37 |
36 val box : PD.pp_desc list -> PD.pp_desc | 38 val box : PD.pp_desc list -> PD.pp_desc |
37 val parenIf : bool -> PD.pp_desc -> PD.pp_desc | 39 val parenIf : bool -> PD.pp_desc -> PD.pp_desc |