summaryrefslogtreecommitdiff
path: root/caching-tests/bench.urs
blob: 5f3d2ee85450442d91d0cd8f9851c4dbf677881e (plain)
1
2
val check : int -> transaction page
val flush : int -> transaction page