def u32.duplicate
import mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec.bend as CursorCodecimport Base
31def u32.duplicate(value: U32) -> U32 & U32:
32 u32.duplicate.result(nat.duplicate(U32.to_nat(value)))
Uses (5)
Used by (9)
- mylsm-lsm-store@0.6.0.1/mylsm:Bytes.scan_seek
- mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec:decode.measured
- mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec:decode.tag.end
- mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec:item.header.size
- mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec:item.key.bound
- …