Mercurial > urweb

comparison src/core_util.sig @ 522:3162bbf8e30f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Avoid Especializing polymorphic code
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 12:43:28 -0500
parents 5521bb0b4014
children 230654093b51
comparison
equal deleted inserted replaced
521:31aba58a5b5b 522:3162bbf8e30f
163 con : 'context * Core.con' * 'state -> Core.con' * 'state, 163 con : 'context * Core.con' * 'state -> Core.con' * 'state,
164 exp : 'context * Core.exp' * 'state -> Core.exp' * 'state, 164 exp : 'context * Core.exp' * 'state -> Core.exp' * 'state,
165 decl : 'context * Core.decl' * 'state -> Core.decl' * 'state, 165 decl : 'context * Core.decl' * 'state -> Core.decl' * 'state,
166 bind : 'context * binder -> 'context} 166 bind : 'context * binder -> 'context}
167 -> 'context -> 'state -> Core.decl -> Core.decl * 'state 167 -> 'context -> 'state -> Core.decl -> Core.decl * 'state
168
169 val exists : {kind : Core.kind' -> bool,
170 con : Core.con' -> bool,
171 exp : Core.exp' -> bool,
172 decl : Core.decl' -> bool} -> Core.decl -> bool
168 end 173 end
169 174
170 structure File : sig 175 structure File : sig
171 val maxName : Core.file -> int 176 val maxName : Core.file -> int
172 177