Mercurial > urweb

diff src/elab_util.sig @ 1584:c37d8341940a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Shorter, more focused error messages about undetermined unification variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 29 Oct 2011 17:30:34 -0400
parents 9e0fa4f6ac93
children 6c00d8af6239
line wrap: on
line diff
--- a/src/elab_util.sig	Fri Oct 28 08:54:44 2011 -0400
+++ b/src/elab_util.sig	Sat Oct 29 17:30:34 2011 -0400
@@ -226,6 +226,8 @@
 
 structure File : sig
     val maxName : Elab.file -> int
+
+    val findDecl : (Elab.decl -> bool) -> Elab.file -> Elab.decl option
 end
 
 end