def seek.block.indices.quad.result
mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:575
import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy
575def seek.block.indices.quad.result(
576 triple: Nat & Nat & Nat
577) -> U32 & (U32 & (U32 & U32)):
578 match triple:
579 case (first, second, third):
580 seek.block.indices.quad.first(QueuePolicy.nat.clone.pair(first),
581 second, third)