Mercurial > urweb
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 |