Mercurial > urweb

comparison src/core_util.sig @ 179:3bbed533fbd2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cases through monoize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 10:48:36 -0400
parents 3739af9e727a
children 8e9f97508f0d
comparison
equal deleted inserted replaced
178:eb3f9913bf31 179:3bbed533fbd2
128 decl : Core.decl' * 'state -> Core.decl' * 'state} 128 decl : Core.decl' * 'state -> Core.decl' * 'state}
129 -> 'state -> Core.decl -> Core.decl * 'state 129 -> 'state -> Core.decl -> Core.decl * 'state
130 end 130 end
131 131
132 structure File : sig 132 structure File : sig
133 val maxName : Core.file -> int
134
133 datatype binder = datatype Exp.binder 135 datatype binder = datatype Exp.binder
134 136
135 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder, 137 val mapfoldB : {kind : (Core.kind', 'state, 'abort) Search.mapfolder,
136 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB, 138 con : ('context, Core.con', 'state, 'abort) Search.mapfolderB,
137 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB, 139 exp : ('context, Core.exp', 'state, 'abort) Search.mapfolderB,