src/FlushPolicy.bend
1import Base
2
3# Pure SSTable filename policy, shared by the flush effect and its laws.
4def table_name(flushed: Nat) -> String:
5 "l0-" ++ Nat.show(flushed) ++ ".tbl"
1import Base
2
3# Pure SSTable filename policy, shared by the flush effect and its laws.
4def table_name(flushed: Nat) -> String:
5 "l0-" ++ Nat.show(flushed) ++ ".tbl"