Mercurial > urweb

diff src/expl_util.sig @ 64:d609820c5834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper hiding of shadowed bindings in principal signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 08:54:49 -0400
parents d16ef24de78b
children 8e9f97508f0d
line wrap: on
line diff
--- a/src/expl_util.sig	Sun Jun 22 20:11:59 2008 -0400
+++ b/src/expl_util.sig	Thu Jun 26 08:54:49 2008 -0400
@@ -82,6 +82,7 @@
     datatype binder =
              RelC of string * Expl.kind
            | NamedC of string * Expl.kind
+           | Sgn of string * Expl.sgn
            | Str of string * Expl.sgn
 
     val mapfoldB : {kind : (Expl.kind', 'state, 'abort) Search.mapfolder,