val cache : 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 *)