Mercurial > urweb
comparison src/core_print.sig @ 144:f0d3402184d1
Simple forms work
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 22 Jul 2008 15:12:20 -0400 |
parents | bc7b76ca57e0 |
children | 8a70e2919e86 |
comparison
equal
deleted
inserted
replaced
143:4b9c2bd6157c | 144:f0d3402184d1 |
---|---|
31 val p_kind : Core.kind Print.printer | 31 val p_kind : Core.kind Print.printer |
32 val p_con : CoreEnv.env -> Core.con Print.printer | 32 val p_con : CoreEnv.env -> Core.con Print.printer |
33 val p_exp : CoreEnv.env -> Core.exp Print.printer | 33 val p_exp : CoreEnv.env -> Core.exp Print.printer |
34 val p_decl : CoreEnv.env -> Core.decl Print.printer | 34 val p_decl : CoreEnv.env -> Core.decl Print.printer |
35 val p_file : CoreEnv.env -> Core.file Print.printer | 35 val p_file : CoreEnv.env -> Core.file Print.printer |
36 val p_export_kind : Core.export_kind Print.printer | |
36 | 37 |
37 val debug : bool ref | 38 val debug : bool ref |
38 end | 39 end |
39 | 40 |