Mercurial > urweb
diff src/core_util.sig @ 680:54ec237a3028
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