diff options
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 |