Mercurial > urweb

diff src/core_util.sig @ 680:54ec237a3028

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Marshalcheck
author Adam Chlipala <adamc@hcoop.net>
date Sat, 28 Mar 2009 11:13:36 -0400
parents 230654093b51
children 338be96f8533
line wrap: on
line diff
--- a/src/core_util.sig	Thu Mar 26 18:26:50 2009 -0400
+++ b/src/core_util.sig	Sat Mar 28 11:13:36 2009 -0400
@@ -68,12 +68,12 @@
                -> 'context -> (Core.con -> Core.con)
 
     val fold : {kind : Core.kind' * 'state -> 'state,
-               con : Core.con' * 'state -> 'state}
-              -> 'state -> Core.con -> 'state
-
+                con : Core.con' * 'state -> 'state}
+               -> 'state -> Core.con -> 'state
+                                        
     val exists : {kind : Core.kind' -> bool,
                   con : Core.con' -> bool} -> Core.con -> bool
-
+                                                          
     val foldMap : {kind : Core.kind' * 'state -> Core.kind' * 'state,
                    con : Core.con' * 'state -> Core.con' * 'state}
                   -> 'state -> Core.con -> Core.con * 'state