blob: d6e8dd2ea09a98bd9a51b65e7effb332454eaf38 (
plain)
1
2
3
4
5
6
7
8
|
val cache : int -> transaction page
(* val cacheAlt : int -> transaction page *)
(* val cacheR : {Id : int, FooBar : int} -> transaction page *)
(* val cache2 : int -> int -> transaction page *)
val flush : int -> transaction page
(* val flash : int -> transaction page *)
(* val floosh : int -> transaction page *)
(* val flush17 : transaction page *)
|
