Mercurial > urweb

diff src/elab_util.sig @ 839:b2413e4dd109

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
List library additions; fix another substructure unification bug
author Adam Chlipala <adamc@hcoop.net>
date Sat, 06 Jun 2009 14:09:30 -0400
parents d20d6afc1206
children c7b9a33c26c8
line wrap: on
line diff
--- a/src/elab_util.sig	Tue Jun 02 19:28:25 2009 -0400
+++ b/src/elab_util.sig	Sat Jun 06 14:09:30 2009 -0400
@@ -73,6 +73,9 @@
                  con : 'context * Elab.con' * 'state -> 'state,
                  bind : 'context * binder -> 'context}
                 -> 'context -> 'state -> Elab.con -> 'state
+    val fold : {kind : Elab.kind' * 'state -> 'state,
+                 con : Elab.con' * 'state -> 'state}
+                -> 'state -> Elab.con -> 'state
 end
 
 structure Exp : sig