diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-03-28 11:13:36 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-03-28 11:13:36 -0400 |
| commit | 0168071775d98602c427b4b915fb6489cc2f10ff (patch) | |
| tree | efba87fb9b2c9f5f7349dbe277b4a928bc0a2e66 /src/core_util.sig | |
| parent | 754569fc0cf4affbf1227c44059352316a61fa24 (diff) | |
Marshalcheck
Diffstat (limited to 'src/core_util.sig')
| -rw-r--r-- | src/core_util.sig | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/core_util.sig b/src/core_util.sig index fabb9878..807b477b 100644 --- a/src/core_util.sig +++ b/src/core_util.sig @@ -68,12 +68,12 @@ structure Con : sig -> '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 |