From 82e400315d526eb6c96fd1ad21a8ce75529f7717 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 1 Apr 2013 10:13:49 -0400
Subject: Change Name_js to skip code snippets that depend on the
 CSRF-protection signature

---
 src/mono_util.sig | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/mono_util.sig')

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
-- 
cgit v1.2.3