Mercurial > urweb
diff src/mono_util.sig @ 1847:8958b580d026
Change Name_js to skip code snippets that depend on the CSRF-protection signature
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 01 Apr 2013 10:13:49 -0400 |
| parents | 38297294cf98 |
| children | f7113855f3b7 |
line wrap: on
line diff
--- a/src/mono_util.sig Tue Mar 19 19:10:31 2013 -0400 +++ b/src/mono_util.sig Mon Apr 01 10:13:49 2013 -0400 @@ -1,4 +1,4 @@ -(* Copyright (c) 2008, Adam Chlipala +(* Copyright (c) 2008, 2013, Adam Chlipala * All rights reserved. * * Redistribution and use in source and binary forms, with or without @@ -117,6 +117,10 @@ decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state, bind : 'context * binder -> 'context} -> 'context -> 'state -> Mono.decl -> Mono.decl * 'state + + val exists : {typ : Mono.typ' -> bool, + exp : Mono.exp' -> bool, + decl : Mono.decl' -> bool} -> Mono.decl -> bool end structure File : sig