Mercurial > urweb
comparison src/mono_util.sml @ 1223:62af4cacd191
Update policies
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 11 Apr 2010 13:11:25 -0400 |
| parents | 00e628854005 |
| children | a2cd6664f57f |
comparison
equal
deleted
inserted
replaced
| 1222:117f13bdc1fd | 1223:62af4cacd191 |
|---|---|
| 548 S.map2 (mfe ctx e, | 548 S.map2 (mfe ctx e, |
| 549 PolInsert) | 549 PolInsert) |
| 550 | PolDelete e => | 550 | PolDelete e => |
| 551 S.map2 (mfe ctx e, | 551 S.map2 (mfe ctx e, |
| 552 PolDelete) | 552 PolDelete) |
| 553 | PolUpdate e => | |
| 554 S.map2 (mfe ctx e, | |
| 555 PolUpdate) | |
| 553 | 556 |
| 554 and mfvi ctx (x, n, t, e, s) = | 557 and mfvi ctx (x, n, t, e, s) = |
| 555 S.bind2 (mft t, | 558 S.bind2 (mft t, |
| 556 fn t' => | 559 fn t' => |
| 557 S.map2 (mfe ctx e, | 560 S.map2 (mfe ctx e, |