Mercurial > urweb

comparison src/expl_print.sig @ 1989:210fb3dfc483

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors
author Adam Chlipala <adam@chlipala.net>
date Thu, 20 Feb 2014 10:27:15 -0500
parents 354800878b4d
children
comparison
equal deleted inserted replaced
1988:abb6981a2c4c 1989:210fb3dfc483
29 val p_kind : ExplEnv.env -> Expl.kind Print.printer 29 val p_kind : ExplEnv.env -> Expl.kind Print.printer
30 val p_con : ExplEnv.env -> Expl.con Print.printer 30 val p_con : ExplEnv.env -> Expl.con Print.printer
31 val p_exp : ExplEnv.env -> Expl.exp Print.printer 31 val p_exp : ExplEnv.env -> Expl.exp Print.printer
32 val p_decl : ExplEnv.env -> Expl.decl Print.printer 32 val p_decl : ExplEnv.env -> Expl.decl Print.printer
33 val p_sgn_item : ExplEnv.env -> Expl.sgn_item Print.printer 33 val p_sgn_item : ExplEnv.env -> Expl.sgn_item Print.printer
34 val p_str : ExplEnv.env -> Expl.str Print.printer
34 val p_file : ExplEnv.env -> Expl.file Print.printer 35 val p_file : ExplEnv.env -> Expl.file Print.printer
35 36
36 val debug : bool ref 37 val debug : bool ref
37 end 38 end
38 39