Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/print.sig Tue Jun 10 16:22:46 2008 -0400 +++ b/src/print.sig Tue Jun 10 18:28:43 2008 -0400 @@ -30,6 +30,8 @@ signature PRINT = sig structure PD : PP_DESC where type PPS.token = string + and type PPS.device = TextIOPP.device + and type PPS.stream = TextIOPP.stream type 'a printer = 'a -> PD.pp_desc