annotate caching-tests/test.urs @ 2307:6ae9a2784a45
Return to working version mode
| author |
Adam Chlipala <adam@chlipala.net> |
| date |
Sun, 20 Dec 2015 14:39:50 -0500 |
| parents |
f8903af753ff |
| children |
|
| rev |
line source |
|
ziv@2213
|
1 val cache : int -> transaction page
|
|
ziv@2294
|
2 (* val cacheAlt : int -> transaction page *)
|
|
ziv@2294
|
3 (* val cacheR : {Id : int, FooBar : int} -> transaction page *)
|
|
ziv@2275
|
4 (* val cache2 : int -> int -> transaction page *)
|
|
ziv@2213
|
5 val flush : int -> transaction page
|
|
ziv@2294
|
6 (* val flash : int -> transaction page *)
|
|
ziv@2294
|
7 (* val floosh : int -> transaction page *)
|
|
ziv@2275
|
8 (* val flush17 : transaction page *)
|
