blob: ace4ba286855fe98d361129e8905311bc8114a3e (
plain)
1
2
3
4
5
6
7
8
|
val cache01 : unit -> transaction page
val cache10 : unit -> transaction page
val cache11 : unit -> transaction page
val flush01 : unit -> transaction page
val flush10 : unit -> transaction page
val flush11 : unit -> transaction page
val cache : int -> transaction page
val flush : int -> transaction page
|
