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