diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-04-01 10:13:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-04-01 10:13:49 -0400 |
| commit | 82e400315d526eb6c96fd1ad21a8ce75529f7717 (patch) | |
| tree | c7f64cbf8081be1d96a35eb351b0c434aca092b0 /src/mono_util.sig | |
| parent | bacf194c5cbeeb8a01b200dc32c5b968f7e62c0f (diff) | |
Change Name_js to skip code snippets that depend on the CSRF-protection signature
Diffstat (limited to 'src/mono_util.sig')
| -rw-r--r-- | src/mono_util.sig | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/mono_util.sig b/src/mono_util.sig index a5118072..da8b2e20 100644 --- a/src/mono_util.sig +++ b/src/mono_util.sig @@ -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 @@ structure Decl : sig 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 |