Mercurial > urweb
comparison src/flat_print.sig @ 29:537db4ee89f4
Translation to Cjr
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 18:28:43 -0400 |
parents | 4ab19c19665f |
children |
comparison
equal
deleted
inserted
replaced
28:104d43266b33 | 29:537db4ee89f4 |
---|---|
33 val p_decl : FlatEnv.env -> Flat.decl Print.printer | 33 val p_decl : FlatEnv.env -> Flat.decl Print.printer |
34 val p_file : FlatEnv.env -> Flat.file Print.printer | 34 val p_file : FlatEnv.env -> Flat.file Print.printer |
35 | 35 |
36 val debug : bool ref | 36 val debug : bool ref |
37 end | 37 end |
38 |