blob: 30bff733755ff46ce363ccb51ba96f8752c3f91b (
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
|
