Mercurial > urweb
comparison caching-tests/test.urs @ 2225:6262dabc08d6
Simplify example.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 27 Mar 2015 11:19:15 -0400 |
parents | 278e10629ba1 |
children | 200a7ed4343b |
comparison
equal
deleted
inserted
replaced
2224:5709482a2afd | 2225:6262dabc08d6 |
---|---|
1 val cache01 : unit -> transaction page | |
2 (* val cache10 : unit -> transaction page *) | |
3 (* val cache11 : unit -> transaction page *) | |
4 val flush01 : unit -> transaction page | |
5 (* val flush10 : unit -> transaction page *) | |
6 (* val flush11 : unit -> transaction page *) | |
7 val cache : int -> transaction page | 1 val cache : int -> transaction page |
8 val flush : int -> transaction page | 2 val flush : int -> transaction page |