ziv@2213: val cache : int -> transaction page ziv@2294: (* val cacheAlt : int -> transaction page *) ziv@2294: (* val cacheR : {Id : int, FooBar : int} -> transaction page *) ziv@2275: (* val cache2 : int -> int -> transaction page *) ziv@2213: val flush : int -> transaction page ziv@2294: (* val flash : int -> transaction page *) ziv@2294: (* val floosh : int -> transaction page *) ziv@2275: (* val flush17 : transaction page *)