Mercurial > urweb
comparison lib/ur/basis.urs @ 1250:e80582b927f2
Add rand to Basis and handle it in Iflow
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 29 Apr 2010 17:24:42 -0400 |
| parents | beb67ff4c8a0 |
| children | 56bd4a4f6e66 |
comparison
equal
deleted
inserted
replaced
| 1249:7c6fc92f6c31 | 1250:e80582b927f2 |
|---|---|
| 819 -> sql_policy | 819 -> sql_policy |
| 820 | 820 |
| 821 val also : sql_policy -> sql_policy -> sql_policy | 821 val also : sql_policy -> sql_policy -> sql_policy |
| 822 | 822 |
| 823 val debug : string -> transaction unit | 823 val debug : string -> transaction unit |
| 824 | |
| 825 val rand : transaction int |