Mercurial > urweb
comparison src/core_util.sig @ 522:3162bbf8e30f
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 |