comparison src/core_print.sig @ 732:5819fb63c93a

Effectness analysis
author Adam Chlipala <adamc@hcoop.net>
date Thu, 16 Apr 2009 15:29:39 -0400
parents 230654093b51
children fa2019a63ea4
comparison
equal deleted inserted replaced
731:e0dd85ea58e1 732:5819fb63c93a
32 val p_con : CoreEnv.env -> Core.con Print.printer 32 val p_con : CoreEnv.env -> Core.con Print.printer
33 val p_pat : CoreEnv.env -> Core.pat Print.printer 33 val p_pat : CoreEnv.env -> Core.pat Print.printer
34 val p_exp : CoreEnv.env -> Core.exp Print.printer 34 val p_exp : CoreEnv.env -> Core.exp Print.printer
35 val p_decl : CoreEnv.env -> Core.decl Print.printer 35 val p_decl : CoreEnv.env -> Core.decl Print.printer
36 val p_file : CoreEnv.env -> Core.file Print.printer 36 val p_file : CoreEnv.env -> Core.file Print.printer
37 val p_export_kind : Core.export_kind Print.printer
38 37
39 val debug : bool ref 38 val debug : bool ref
40 end 39 end
41 40