Mercurial > urweb
diff src/core_util.sig @ 522:3162bbf8e30f
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