Mercurial > urweb

diff src/core_util.sig @ 522:3162bbf8e30f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Avoid Especializing polymorphic code
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 12:43:28 -0500
parents 5521bb0b4014
children 230654093b51
line wrap: on
line diff
--- a/src/core_util.sig	Thu Nov 27 12:34:44 2008 -0500
+++ b/src/core_util.sig	Thu Nov 27 12:43:28 2008 -0500
@@ -165,6 +165,11 @@
                     decl : 'context * Core.decl' * 'state -> Core.decl' * 'state,
                     bind : 'context * binder -> 'context}
                    -> 'context -> 'state -> Core.decl -> Core.decl * 'state
+
+    val exists : {kind : Core.kind' -> bool,
+                  con : Core.con' -> bool,
+                  exp : Core.exp' -> bool,
+                  decl : Core.decl' -> bool} -> Core.decl -> bool
 end
 
 structure File : sig