Mercurial > urweb

diff src/elab_env.sig @ 2196:100352dbae36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix tricky case of functor signature subsumption
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Nov 2015 15:28:12 -0500
parents fca4a6d05ac1
children
line wrap: on
line diff
--- a/src/elab_env.sig	Wed Nov 25 18:48:17 2015 -0500
+++ b/src/elab_env.sig	Fri Nov 27 15:28:12 2015 -0500
@@ -37,6 +37,8 @@
 
     type env
 
+    val dump : env -> unit
+
     val empty : env
 
     exception UnboundRel of int