Mercurial > urweb

comparison src/expl_print.sig @ 624:354800878b4d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Kind polymorphism through Explify
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Feb 2009 16:32:56 -0500
parents d16ef24de78b
children 210fb3dfc483
comparison
equal deleted inserted replaced
623:588b9d16b00a 624:354800878b4d
24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 24 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
25 * POSSIBILITY OF SUCH DAMAGE. 25 * POSSIBILITY OF SUCH DAMAGE.
26 *) 26 *)
27 27
28 signature EXPL_PRINT = sig 28 signature EXPL_PRINT = sig
29 val p_kind : 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_file : ExplEnv.env -> Expl.file Print.printer 34 val p_file : ExplEnv.env -> Expl.file Print.printer