Mercurial > urweb

comparison src/core_util.sig @ 1185:338be96f8533

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Undo an Especialize change that turned out to be unecessary
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Mar 2010 10:09:01 -0400
parents 54ec237a3028
children
comparison
equal deleted inserted replaced
1184:d6f0e972b706 1185:338be96f8533
71 con : Core.con' * 'state -> 'state} 71 con : Core.con' * 'state -> 'state}
72 -> 'state -> Core.con -> 'state 72 -> 'state -> Core.con -> 'state
73 73
74 val exists : {kind : Core.kind' -> bool, 74 val exists : {kind : Core.kind' -> bool,
75 con : Core.con' -> bool} -> Core.con -> bool 75 con : Core.con' -> bool} -> Core.con -> bool
76
77 val existsB : {kind : 'context * Core.kind' -> bool,
78 con : 'context * Core.con' -> bool,
79 bind : 'context * binder -> 'context}
80 -> 'context -> Core.con -> bool
76 81
77 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state, 82 val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
78 con : Core.con' * 'state -> Core.con' * 'state} 83 con : Core.con' * 'state -> Core.con' * 'state}
79 -> 'state -> Core.con -> Core.con * 'state 84 -> 'state -> Core.con -> Core.con * 'state
80 end 85 end