Mercurial > urweb
comparison src/elab_print.sig @ 623:588b9d16b00a
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Feb 2009 16:10:25 -0500 |
parents | 71bafe66dbe1 |
children | 5c099b1308ae |
comparison
equal
deleted
inserted
replaced
622:d64533157f40 | 623:588b9d16b00a |
---|---|
26 *) | 26 *) |
27 | 27 |
28 (* Pretty-printing Ur/Web *) | 28 (* Pretty-printing Ur/Web *) |
29 | 29 |
30 signature ELAB_PRINT = sig | 30 signature ELAB_PRINT = sig |
31 val p_kind : Elab.kind Print.printer | 31 val p_kind : ElabEnv.env -> Elab.kind Print.printer |
32 val p_explicitness : Elab.explicitness Print.printer | 32 val p_explicitness : Elab.explicitness Print.printer |
33 val p_con : ElabEnv.env -> Elab.con Print.printer | 33 val p_con : ElabEnv.env -> Elab.con Print.printer |
34 val p_pat : ElabEnv.env -> Elab.pat Print.printer | 34 val p_pat : ElabEnv.env -> Elab.pat Print.printer |
35 val p_exp : ElabEnv.env -> Elab.exp Print.printer | 35 val p_exp : ElabEnv.env -> Elab.exp Print.printer |
36 val p_decl : ElabEnv.env -> Elab.decl Print.printer | 36 val p_decl : ElabEnv.env -> Elab.decl Print.printer |