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