Mercurial > urweb
comparison src/mono_util.sml @ 1229:a2cd6664f57f
sendOwnIds policies
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 11 Apr 2010 17:55:37 -0400 |
| parents | 62af4cacd191 |
| children | 3d06e0f7a6f3 |
comparison
equal
deleted
inserted
replaced
| 1228:7dfa67560916 | 1229:a2cd6664f57f |
|---|---|
| 551 S.map2 (mfe ctx e, | 551 S.map2 (mfe ctx e, |
| 552 PolDelete) | 552 PolDelete) |
| 553 | PolUpdate e => | 553 | PolUpdate e => |
| 554 S.map2 (mfe ctx e, | 554 S.map2 (mfe ctx e, |
| 555 PolUpdate) | 555 PolUpdate) |
| 556 | PolSequence e => | |
| 557 S.map2 (mfe ctx e, | |
| 558 PolSequence) | |
| 556 | 559 |
| 557 and mfvi ctx (x, n, t, e, s) = | 560 and mfvi ctx (x, n, t, e, s) = |
| 558 S.bind2 (mft t, | 561 S.bind2 (mft t, |
| 559 fn t' => | 562 fn t' => |
| 560 S.map2 (mfe ctx e, | 563 S.map2 (mfe ctx e, |