def write_chunk.copied

mylsm-lsm-store@0.6.0.1 · src/coordinator/IoPolicy.bend:29

import mylsm-lsm-store@0.6.0.1/src/coordinator/IoPolicy.bend as IoPolicy
import Base

29def write_chunk.copied(copies: U32 & U32 & U32) -> U32:
30  match copies:
31    case (checked, (retained, _)):
32      Bool.pick(U32, U32.is_le(checked, 65536), retained, 65536)

Uses (5)

Used by (1)