Mercurial > urweb

comparison src/mono_util.sig @ 1847:8958b580d026

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1846:bcae365efa85 1847:8958b580d026
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008, 2013, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
115 val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state, 115 val foldMapB : {typ : Mono.typ' * 'state -> Mono.typ' * 'state,
116 exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state, 116 exp : 'context * Mono.exp' * 'state -> Mono.exp' * 'state,
117 decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state, 117 decl : 'context * Mono.decl' * 'state -> Mono.decl' * 'state,
118 bind : 'context * binder -> 'context} 118 bind : 'context * binder -> 'context}
119 -> 'context -> 'state -> Mono.decl -> Mono.decl * 'state 119 -> 'context -> 'state -> Mono.decl -> Mono.decl * 'state
120
121 val exists : {typ : Mono.typ' -> bool,
122 exp : Mono.exp' -> bool,
123 decl : Mono.decl' -> bool} -> Mono.decl -> bool
120 end 124 end
121 125
122 structure File : sig 126 structure File : sig
123 datatype binder = datatype Exp.binder 127 datatype binder = datatype Exp.binder
124 128